Formal verification: From spaceships to the corporate network
Jan09
According to IDC, by the end of 2017 two-thirds of the CEOs of Global 2000 companies will have digital transformation at the center of their corporate strategies. The agile and resilient business is going to be built on the agile and resilient network; and the network of the future certainly extends beyond an enterprise’s own local data centers and into the cloud. Surprisingly, unlike storage and compute which has been virtualized for a decade, only recently have we seen significant innovation in networking technology. The innovation makes networks easier to manage as well as faster, more intelligent and now, capable…
This story continues at The Next Web