Recommended Textbooks

  • Christel Baier and Joost-Pieter Katoen. Principles of model checking. MIT Press, 2008. ISBN 978-0-262-02649-9

  • Edmund Clarke, Orna Grumberg and Doron Peled. Model Checking. MIT Press, 2000.

  • Michael Huth and Mark Ryan. Logic in Computer Science (2nd edition). Cambridge University Press, 2004.

  • Beatrice Berard et al. Systems and Software Verification: Model-Checking Techniques and Tools. Springer, 2001

Further Reading

  • Rajeev Alur. Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Stanford University, 1991

  • Thomas Ball, Vladimir Levin, Sriram K. Rajamani. A decade of software model checking with SLAM. Communication of the ACM 54(7):68-76, 2011.

  • Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh. Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications 185, IOS Press, 2009.

  • Edmund Clarke, Daniel Kroening, Natasha Sharygina. Predicate Abstraction of ANSI-C Programs Using SAT Formal Methods in System Design, 25, 105—127, Kluwer Academic Publishers, 2004.

  • Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith. Counterexample-guided abstraction refinement. In Computer Aided Verification, pages 154169, 2000.

  • Dexter Kozen. Automata and Computability. Springer, 1997. ISBN 978-0-387-94907-9

  • Flemming Nielson, Hanne Riis Nielson and Chris Hankin. Principles of Program Analysis. Springer, 1999.

  • Michael Sipser. Introduction to the Theory of Computation (3rd edition). Cengage Learning, 2013. ISBN-13: 978-1-133-18781-3

Verification tools


Copyright 2015—2017