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.

This repository is not active