Brighten Godfrey, Co-Founder and CTO at Veriflow, reviews the software architecture behind the company's formal network verification. The solution is set up via a collector VM on-site, which connects to network devices to get the data plane state. This information is handed off to Veriflow's Verification Engine, which builds the predictive model of all possible network traffic.
Watch the entire Veriflow Systems presentation at Networking Field Day 16 here: www.veriflow.net/sept-13-laun...
Recorded at Networking Field Day 16 in Silicon Valley on September 13, 2017. For more information, visit www.veriflow.net/ TechFieldDay.com/event/nfd16/