The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model.

Patrick Lincoln, John M. Rushby

Browse the full CAV paper archive.