Lightyear: Using Modularity to Scale BGP Control Plane Verification (Conference Paper) | NSF PAGES

skip to main content

Citation Details

Lightyear: Using Modularity to Scale BGP Control Plane Verification

Award ID(s):: 1901510

NSF-PAR ID:: 10530641

Author(s) / Creator(s):: Tang, Alan; Beckett, Ryan; Benaloh, Steven; Jayaraman, Karthick; Patil, Tejas; Millstein, Todd; Varghese, George

Publisher / Repository:: ACM

Date Published:: 2023-09-01

ISBN:: 9798400702365

Page Range / eLocation ID:: 94 to 107

Format(s):: Medium: X

Location:: New York NY USA

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Conference Paper:
https://doi.org/10.1145/3603269.3604842