Efficient model checking of fault-tolerant distributed protocols

@article{Bokor2011EfficientMC,
  title={Efficient model checking of fault-tolerant distributed protocols},
  author={P{\'e}ter Bokor and Johannes Kinder and Marco Serafini and Neeraj Suri},
  journal={2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN)},
  year={2011},
  pages={73-84}
}
To aid the formal verification of fault-tolerant distributed protocols, we propose an approach that significantly reduces the costs of their model checking. These protocols often specify atomic, process-local events that consume a set of messages, change the state of a process, and send zero or more messages. We call such events quorum transitions and… CONTINUE READING