Verifying the Correctness of
Wide-Area Internet Routing


Nick Feamster and Hari Balakrishnan
M.I.T. Computer Science and Artificial Intelligence Laboratory
{feamster,hari}@csail.mit.edu

http://nms.lcs.mit.edu/bgp/