All Articles
Talk to a network operator today!
Recently, we have seen significant advances in tools that bring formal methods to networking. These tools verify if a given network satisfies important properties, automatically repai...
In overview, research, network, verification, operators, By Aditya Akella, Aaron Gember-Jacobson, Jul 05, 2020
Models for Distributed Routing Protocols
Part 1: SIMPLE Models and Simulation
In overview, research, network, verification, By Ryan Beckett, Nick Giannarakis, Aarti Gupta, Devon Loehr, Ratul Mahajan, Tim Alberdingk Thijm, David Walker, Jun 22, 2020
It’s the Equivalence Classes, Stupid
James Carville coined the phrase “It’s the economy, stupid” to say that what mattered in an election year was the economy. Formal methods search through vast state spaces in reasonabl...
In reduction, symmetry, research, network, verification, By George Varghese, May 26, 2020
You can't verify what you can't specify
Back when I was studying for my master degree, Prof. Axel van Lamsweerde wasteaching us formal logic. Axel is world-famous for his works on requirementsengineering, that is, the proce...
In overview, research, network, verification, By Laurent Vanbever, May 11, 2020
Toward modular network verification
Almost all of the techniques for network verification to date must analyze the entire network’s state and/or configuration data monolithically. In contrast, methodologies for verific...
In research, network, verification, By Todd Millstein, May 01, 2020
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 netverify.fun
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