@misc{indiciaeeb6ad9d7c9eb,
  title = {CB-VER: A Stable Foundation for Modular Control Plane Verification},
  author = {Dexin Zhang and Timothy Alberdingk Thijm and David Walker and Aarti Gupta},
  year = {2026},
  doi = {10.34727/2026/isbn.978-3-85448-093-8\_45},
  url = {https://arxiv.org/abs/2604.03539},
  note = {Source identifier: 2604.03539}
}