Pinned Repositories
batfish
Batfish is a network configuration analysis tool developed jointly by researchers at University of California, Los Angeles; University of Southern California; and Microsoft Research. Though its individual modules have various applications, its primary purpose is to detect bugs in network configurations.
ERA
Comprehensive Network Verification using ERA
Network-verification's Repositories
Network-verification/ERA
Comprehensive Network Verification using ERA
Network-verification/batfish
Batfish is a network configuration analysis tool developed jointly by researchers at University of California, Los Angeles; University of Southern California; and Microsoft Research. Though its individual modules have various applications, its primary purpose is to detect bugs in network configurations.