Network Verification with Veriflow

Pete Welcher saw a demonstration of Veriflow’s continuous network verification solution. In it, he saw some similarities with what he saw from Forward Networks last year at Networking Field Day. Both use formal verification of a network, with Veriflow pulling information from devices on the network and building a topograpghical model. Pete still has many of the same questions about how this would work as he did for Forward Networks, but ultimately his conclusion is “cool stuff”!

Read More

References