Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
network configuration network-analysis network-automation network-security configuration-parser network-verification configuration-analysis network-validation
- Updated
Dec 12, 2025 - Java