conftrace_

network verification

18 papers

Explore in graph

Co-occurring keywords

formal verification (284) data plane (18) control plane (10) model checking (105) bug detection (23) network configuration (12) forwarding behavior (2) equivalence class (11) policy verification (6) stepwise refinement (1)

Papers

NDD: A Decision Diagram for Network Verification NSDI 2025
On Temporal Verification of Stateful P4 Programs NSDI 2025
Verifying maximum link loads in a changing world NSDI 2025
EPVerifier: Accelerating Update Storms Verification with Edge-Predicate NSDI 2024
Katra: Realtime Verification for Multilayer Networks NSDI 2022
Differential Network Analysis NSDI 2022
Metha: Network Verifiers Need To Be Correct Too! NSDI 2021
Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification NIPS 2021
Liveness Verification of Stateful Network Functions NSDI 2020
Plankton: Scalable network configuration verification through model checking NSDI 2020
Tiramisu: Fast Multilayer Network Verification NSDI 2020
NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification NSDI 2020
APKeep: Realtime Verification for Real Networks NSDI 2020
Finding Network Misconfigurations by Automatic Template Inference NSDI 2020
Correct by Construction Networks Using Stepwise Refinement NSDI 2017
Verifying Reachability in Networks with Mutable Datapaths NSDI 2017
Delta-net: Real-time Network Verification Using Atoms NSDI 2017
Efficient Network Reachability Analysis Using a Succinct Control Plane Representation OSDI 2016