ZENITH: Towards A Formally Verified Highly-Available Control Plane.

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

Browse the full SIGCOMM paper archive.