activity
20032019
most citedA Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms

32 citations · 78 across the 16 of their papers we have counts for

collaborators
Showing 2012 · cs.LOShow all

1 paper · 2 filters

cs.LO2012★ 15 cited

Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms

Annu John, Igor Konnov, Ulrich Schmid +2

We introduce an automated parameterized verification method for fault-tolerant distributed algorithms (FTDA). FTDAs are parameterized by both the number of processes and the assume…