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.
Thank you for being part of the Tech Field Day community! Our mailing list is a great way to stay up to date on our events and technical content, and we appreciate your signup.
We promise that we’ll never spam you, send ads, or sell your information. This list will only be used to communicate with our community about our events and content. And we’ll limit it to no more than one message per week.
Although we only need your email address, it would be nice if you provided a little more information to help us get to know you better!
