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.


Automated Testing & Intent Verification for Network Operations

Jason Edelman considers why networks often lack the robust testing tools that are the bedrock of software development. He recently saw a solution from Veriflow at Networking Field Day that might move networking closer to having better preemptive testing. They offer built in consistency and intent-based checks to define the state of the network and when something appears out of compliance. He also likes that their platform exposes all of this functionality via a RESTful API.


Is the Data-Driven Network Next Step in Networking?

First we had software-defined network as the buzzword de rigueur. More recently intent-based networking has increasingly crept into marketing parlance. But Terry Slattery thinks he might have found a new network paradigm at work, one that has so far escaped buzzwordification. He postulates the data-driven network, which would use real time big data analytics on raw network traffic, and then use the results to optimize the network. Terry cites Cisco Tetration, Arista Networks, Apstra, and Veriflow Systems as example, all of which he saw at Networking Field Day last month.


NFD16 day one – Veriflow

Gian Paolo got a look at Veriflow’s formal verification of networks at Networking Field Day last week. This works by collecting control plane information, not actual data or flows, to build a normalized model of how the network should be operating. This can be used with their policy tools to create an intent-based networking solution. Gian was impressed (calling it “a great product), but would like to see integration with Netflow/IPFIX data to validate the models on their roadmap.


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