To Crash or Not To Crash : Efficient Modeling of Fail-Stop Faults

@inproceedings{Saissi2011ToCO,
  title={To Crash or Not To Crash : Efficient Modeling of Fail-Stop Faults},
  author={Habib Saissi and P{\'e}ter Bokor and Marco Serafini and Neeraj Suri},
  year={2011}
}
A commonly used approach in practical verification is to verify a simplified model of the system rather than the system itself, which would entail infeasible verification complexity. This paper introduces a model for efficient model checking of message-passing systems with crash faults. The key to the achieved efficiency is the intuition that the event of… CONTINUE READING