Daniel Kuchenski reviews what he saw from Pluribus Networks at Networking Field Day in September. He focuses on their Netvisor OS and the possibilities it opens for whitebox hardware. Overall he found it a very flexible solution, with robust management and network virtualization capabilities.
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.
Daniel Kuchenski
Daniel is a Senior Network Engineer with a passion for network and systems architecture.
