Skip to content
#

network-validation

Star

Here are 4 public repositories matching this topic...

Language: All
Filter by language
All 4 Python 2 Java 1 OCaml 1

batfish / batfish

Star 757

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 Apr 8, 2022
  • Java

NetworkVerification / nv

Star 27
Open

Add variant types

DKLoehr
DKLoehr commented May 29, 2020

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.

Read more
enhancement good first issue
Find more good first issues

Improve this page

Add a description, image, and links to the network-validation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the network-validation topic, visit your repo's landing page and select "manage topics."

Learn more