TY  - RPRT
TI  - CB-VER: A Stable Foundation for Modular Control Plane Verification
AU  - Dexin Zhang
AU  - Timothy Alberdingk Thijm
AU  - David Walker
AU  - Aarti Gupta
PY  - 2026
DO  - 10.34727/2026/isbn.978-3-85448-093-8_45
UR  - https://arxiv.org/abs/2604.03539
ID  - 2604.03539
ER  -