Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults

Guy Avni, Shubham Goel, Thomas A. Henzinger, and Guillermo Rodriguez-Navas

TACAS 2017

You may download material for artifact evaluation from here.