conftrace_

network verification

19 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (7) data plane (4) control plane (3) model checking (3) forwarding behavior (2) equivalence class (2) real-time verification (2) policy verification (2) software-defined networking (2) bug detection (2)

Papers

Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation NSDI 2026 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 Differential Network Analysis NSDI 2022 Katra: Realtime Verification for Multilayer Networks NSDI 2022 Metha: Network Verifiers Need To Be Correct Too! NSDI 2021 Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification NeurIPS 2021 APKeep: Realtime Verification for Real Networks NSDI 2020 Finding Network Misconfigurations by Automatic Template Inference NSDI 2020 Liveness Verification of Stateful Network Functions NSDI 2020 NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification NSDI 2020 Plankton: Scalable network configuration verification through model checking NSDI 2020 Tiramisu: Fast Multilayer Network Verification NSDI 2020 Correct by Construction Networks Using Stepwise Refinement NSDI 2017 Delta-net: Real-time Network Verification Using Atoms NSDI 2017 Verifying Reachability in Networks with Mutable Datapaths NSDI 2017 Efficient Network Reachability Analysis Using a Succinct Control Plane Representation OSDI 2016