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