Batfish: OSS network configuration static analysis, find bugs, test correctness (github.com/batfish)
Network Security, Open Source, Static Analysis, Network Configuration
39 points by transpute 169 days ago | 2 comments