Description

The artifact contains a VirtualBox VM image with the source code and the binary for the NV framework (the simulator, SMT verifier, etc.). Also included is a modified version of Batfish that can translate router configurations to NV source files.

Assets

Data Documentation

The artifact contains a number of synthetic networks, intended to mimic actual data center networks, that were used to evaluate the performance of analyses implemented in NV. They range in size from a few dozen nodes to thousands of nodes.

Provenance

https://github.com/NetworkVerification

License