Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction.

Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder

Browse the full PODC paper archive.