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

• SPIN Home
• SPIN Beginners’ Tutorial by Theo Ruys, University of Twente
• SPIN Examples from lecture

PVS

• PVS Home
• TLPVS Home
• PVS Examples from lecture