Welcome to netverify.fun
Network verification and synthesis has emerged as an exciting research area at the intersection of networking, programming languages,...
Read MoreAll Articles
Network change verification (even for networks without specifications)
Networks routinely need changes to patch security holes, expand capacity, perform routine maintenance, and a myriad of other reasons. But every change is dangerous, and brings with i...
In relational verification, By Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Xieyang Xu, Yifei Yuan, Ennan Zhai, Oct 04, 2024Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future Directions
For years, networks have been seen as hard to manage and hard to evolve. They are hard to manage because even small networks are complex, with multiple devices and protocols interacti...
In formal methods, programming languages, By Nate Foster, Arvind Krishnamurthy, Ratul Mahajan, Todd Millstein, David Walker, Anduo Wang, Pamela Zave, Nov 27, 2023Harnessing Formal Methods Beyond Routing Layer
Network verification is a mature field with an industrial presence developed to ensure networks and services are safe from configuration-related outages. However, researchers in this ...
In research, DNS, verification, By Siva Kesava Reddy Kakarla, Sep 13, 2022Why don't we verify networks like other complex systems?
In recent weeks, I have been working with my colleagues on an update to our SDN book, including a fresh look at the future of SDN. We believe network verification will be an important...
In network, verification, synthesis, By Bruce Davie, Sep 08, 2021The Practice of Network Verification in Alibaba’s Global WAN
Alibaba has a global scale infrastructure to support its various types of online services (e.g. e-commerce, cloud computing, e-payment, etc.), which have more than one billion users i...
In research, industry experience, network verification, By Hongqiang Harry Liu, May 08, 2021Modular 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, 2021Compositional 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, 2021Network 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, 2020The Verification-Synthesis Spectrum
In overview, research, network, verification, synthesis, By Aaron Gember-Jacobson, Aditya Akella, Aug 31, 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