batfish

基于设备配置建模的网络正确性验证工具，可预演变更并检查安全可靠与合规问题。