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.

Read More

References