CB-Ver is a modular verification framework for eventually-stable network control-plane properties that uses synthesized converges-before graphs, parallel SMT checks, Lean soundness proofs, and CHC-based interface synthesis.
Header space analysis: Static checking for net- works
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.NI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
CB-VER: A Stable Foundation for Modular Control Plane Verification
CB-Ver is a modular verification framework for eventually-stable network control-plane properties that uses synthesized converges-before graphs, parallel SMT checks, Lean soundness proofs, and CHC-based interface synthesis.