batfish
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.
1k stars
55 watching
230 forks
Language: Java
last commit: 10 days ago
Linked from 2 awesome lists
configurationconfiguration-analysisconfiguration-parsernetworknetwork-analysisnetwork-automationnetwork-securitynetwork-validationnetwork-verification
networktocode/awesome-network-automation
nyquist/awesome-networking