All Articles

Capturing the state of research on network verification

Verification and synthesis are old problems in computer science. Verification seeks to answer the question: “can any input to a program result in that program producing an incorrect o...

In overview, research, network, verification, By Ryan Beckett, Ratul Mahajan, Apr 20, 2020

Welcome to

Network verification and synthesis has emerged as an exciting research area at the intersection of networking, programming languages, and formal methods. Work in this area is motivate...

In network, verification, synthesis, welcome, By Ratul Mahajan, Ryan Beckett, Apr 20, 2020