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.
network
configuration
network-analysis
network-automation
network-security
configuration-parser
network-verification
configuration-analysis
network-validation
-
Updated
Dec 12, 2020 - Java
It would be useful to be able to declare OCaml-style variant types in NV. Of course, they could not be recursive.
In fact, all the use cases I've seen have required only enum types (i.e. variant types with only constant constructors, no constructors which carry values). This would be a good place to start, since it's simpler and seems likely to get us most (or all) of what we want.