Network Verification: Successes, Challenges, and Opportunities

Formal verification of computer networks has become a reality in recent years, with the emergence of a large number of domain-specific property-checking tools. Although early tools were limited to stateless data planes, recent work has shown how to handle richer models including stateful middleboxes and distributed control planes. This talk will survey recent progress in the area, highlighting the key technical challenges that remain and discussing opportunities related to security.