Parameterized model checking of fault-tolerant distributed algorithms by abstraction.

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

Browse the full FMCAD paper archive.