A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms.

Igor V. Konnov, Marijana Lazic, Helmut Veith, Josef Widder

Browse the full POPL paper archive.