18 citations · 19 across the 3 of their papers we have counts for
4 papers · 1 filter
CB-VER: A Stable Foundation for Modular Control Plane Verification
Dexin Zhang, Timothy Alberdingk Thijm, David Walker +1
Network operators are often interested in verifying \emph{eventually-stable properties} of network control planes: properties of control plane states that hold eventually, and hold…
ACORN: Network Control Plane Abstraction using Route Nondeterminism
Divya Raghunathan, Ryan Beckett, Aarti Gupta +1
Networks are hard to configure correctly, and misconfigurations occur frequently, leading to outages or security breaches. Formal verification techniques have been applied to guara…
Kirigami, the Verifiable Art of Network Cutting
Tim Alberdingk Thijm, Ryan Beckett, Aarti Gupta +1
We introduce a modular verification approach to network control plane verification, where we cut a network into smaller fragments to improve the scalability of SMT solving. Users p…
Control Plane Compression
Ryan Beckett, Aarti Gupta, Ratul Mahajan +1
We develop an algorithm capable of compressing large networks into a smaller ones with similar control plane behavior: For every stable routing solution in the large, original netw…