13 citations · 17 across the 3 of their papers we have counts for
3 papers
Model Checking Paxos in Spin
Giorgio Delzanno, Michele Tatarek, Riccardo Traverso
We present a formal model of a distributed consensus algorithm in the executable specification language Promela extended with a new type of guards, called counting guards, needed t…
Graph- versus Vector-Based Analysis of a Consensus Protocol
Giorgio Delzanno, Arend Rensink, Riccardo Traverso
The Paxos distributed consensus algorithm is a challenging case-study for standard, vector-based model checking techniques. Due to asynchronous communication, exhaustive analysis m…
The Cost of Parameterized Reachability in Mobile Ad Hoc Networks
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso +1
We investigate the impact of spontaneous movement in the complexity of verification problems for an automata-based protocol model of networks with selective broadcast communication…