References
Recommended Reading
- Principles of Model Checking by Joost-Pieter Katoen, University of Twente
- Software Reliability Methods by Doron A. Peled, Springer Verlag, ISBN: 0387951067
- Temporal Verification of Reactive Systems – Safety by Zohar Manna and Amir Pnueli, Springer Verlag, ISBN: 0387944591
- Temporal Verification of Reactive Systems – Progress by Zohar Manna and Amir Pnueli
- Model Checking by Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled, MIT Press; ISBN: 0262032708
- Constructing Automata from Temporal Logic Formulas : A Tutorial by Pierre Wolper, University of Liege
- Complementing Büchi automata by Orna Kupferman and Moshe Vardi
- Generalized Temporal Verification Diagrams. by I. Anca Browne, Zohar Manna and Henny Sipma.
- Verifying Temporal Properties of Reactive Systems by Nikolaj S. Bjørner, Anca Browne, Michael A. Colón, Bernd Finkbeiner, Zohar Manna, Henny B. Sipma and Tomás E. Uribe.
SPIN
PVS