ZENITH: Towards A Formally Verified Highly-Available Control Plane

Open Webpage

Pooria Namyar, Arvin Ghavidel, Mingyang Zhang, Harsha V. Madhyastha, Srivatsan Ravi, Chao Wang, Ramesh Govindan

Published: 2025, Last Modified: 27 Apr 2026SIGCOMM 2025EveryoneRevisionsBibTeXCC BY-SA 4.0