A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures. - View it on GitHub