Pinned Repositories
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.
groot
Static verification tool for DNS zone files
DecisionDiagrams
A performant and ergonomic implementation of binary decision diagrams for .NET
DiffyConfigAnalyzer
A tool for finding configuration anomalies.
MetaOpt
MetaOpt: Towards efficient heuristic design with quantifiable and confident performance
Zen
Zen is a constraint solving library for .NET
netverify.github.io
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.
propane
Temporal-NetKAT
rabeckett's Repositories
rabeckett/propane
rabeckett/Temporal-NetKAT
rabeckett/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.