Veriflow at NFD16: Continuous Network Verification

Veriflow presented at Networking Field Day earlier this year, demonstrating their formal verification of enterprise networks. Pete Welcher considers how this enables for continuous checking of network state, and enables intent-based features for network engineers.