nsg-ethz

Compilation of P4 exercises, examples, documentation, slides for learning or teaching

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