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
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 154Ð169, 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