13 citations · 15 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 13 cited
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…
cs.LO2012★ 2 cited
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…