5 citations · 19 across the 12 of their papers we have counts for
1 paper · 1 filter
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…