nsg-ethz/netdice

A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.

PythonMIT