Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement.

Nick Giannarakis, Ryan Beckett, Ratul Mahajan, David Walker

Browse the full CAV paper archive.