ZENITH: Towards A Formally Verified Highly-Available Control Plane | NSF Public Access Repository

skip to main content

An official website of the United States government Here's how you know

Official websites use .gov

A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS

A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Citation Details

ZENITH: Towards A Formally Verified Highly-Available Control Plane

Award ID(s):: 1901523

PAR ID:: 10625385

Author(s) / Creator(s):: Namyar, Pooria; Ghavidel, Arvin; Zhang, Mingyang; Madhyastha, Harsha V; Ravi, Srivatsan; Wang, Chao; Govindan, Ramesh

Publisher / Repository:: ACM Digital Library

Date Published:: 2025-09-08

ISBN:: 979-8-4007-1524-2

Format(s):: Medium: X

Location:: Coimbra, Portugal

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript
Conference Paper:
The DOI is not currently available.