network-verification topic
List
network-verification repositories
batfish
1.0k
Stars
228
Forks
Watchers
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 evo...
anta
46
Stars
24
Forks
Watchers
What do you call an ant with frogs legs?
nv
31
Stars
2
Forks
Watchers
A Framework for Modeling and Analyzing Network Configurations
Metha
15
Stars
3
Forks
Watchers
A framework for automated testing of network analysis and verification tools.