Butterfly: Scalable Probabilistic Verification for Network Resilience under Failures.

Saideh Ahangary, Herbert Bos, Klaus von Gleissenthall, Asia Slowinska

Browse the full Networking paper archive.