Welcome to netverify.fun

Network verification and synthesis has emerged as an exciting research area at the intersection of networking, programming languages,...

Read More

All Articles

Modular Verification in Compositional Network Architecture

In our first article on Compositional Network Architecture, we emphasized its value as a descriptive model. This article considers its uses as a prescriptive model of network architec...

In research, network, verification, By Pamela Zave, Jan 11, 2021

Compositional Network Architecture

Compositional Network Architecture is a new descriptive model of networking, possibly the first since the “classic” Internet architecture of the late 1980s. You all know the classic a...

In research, network, architecture, By Pamela Zave, Jennifer Rexford, Jan 04, 2021

Network verification 2.0

The first generation of network verification research, or Network Verification 1.0, has been tremendously successful. It has produced a wide range of methods that enable strong guaran...

In research, network, verification, By Ryan Beckett, Ratul Mahajan, Dec 15, 2020

Toward Polynomial-Time Verification of Networks with Infinite State Spaces: An Automata-Theoretic Approach

With the increasing scale of communication networks, failures (e.g. link failures) are becoming the norm rather than theexception. Given the critical role such networks play for ourdi...

In research, network, verification, By Stefan Schmid, Jiri Srba, Jul 20, 2020

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

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