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.

Read More

References