Lightyear: Using Modularity to Scale BGP Control Plane Verification.

Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd D. Millstein, George Varghese

Browse the full SIGCOMM paper archive.