Causality Analysis in Control Plane Verification
Yu Chen, Tibor Schneider, Laurent Vanbever · 2023
Control plane verification promises to help operators build reliable networks by reporting a counterexample that violates the specification. However, a single counterexample imposes a major challenge for operators to understand and repair the violation.