Practical Verification Techniques for
Wide-Area Routing


Nick Feamster
M.I.T. Computer Science and Artificial Intelligence Laboratory
feamster@lcs.mit.edu

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

(Thanks to Hari Balakrishnan and Jennifer Rexford)