Veriflow – The Formal Future

Daniel Kuchenski got a crash course in formal verification from Veriflow’s recent Networking Field Day presentation. Using a collector VM, Veriflow sends the operational state of networking devices to their verification engine. This formally verifies that the network is operating as intended. Veriflow recently released CloudPredict, which allows you to extend this modeling to AWS. All told, it was one of Daniel’s favorite presentations from the event.

Startup Veriflow Adds New Intent-Based Capabilities To Its Network Verification Software

At Networking Field Day, Veriflow demonstrated bringing intent-based network verification to the enterprise. Drew Conry-Murray looks at these features, which include using formal verification to build software models to see if your on-site and cloud networks are performing as you intended. Drew likes the fact that its designed for networks as they exist, not positing hypothetical networks an engineer has no way of building within an organization. Ultimately, using these software models puts the onus on organizations to use them effectively for managing networks.

NFD16 First Impressions

Networking Field Day just wrapped up earlier this month, but Ivan Pepelnjak already has his initial impressions in order. He nominated Avi Freedman from Kentik as winner of the “Nerd Factor” category for the event, with a close runner up from Apstra. The formal verification for networks from Veriflow also merited an initial mention. We’re looking forward to reading more from Ivan on each.

Looking Forward to Networking Field Day 16

Networking Field Day is coming up next week, and we’re happy to have Pete Welcher returning as a delegate. He’s getting to revisit a company he saw at a previous event, Apstra and their intent-driven networking solution. Overall, Pete is looking forward to the presentations and talking to his fellow delegates.

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”!