A Systematic Approach to 
BGP Configuration Checking


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

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