Core materials:

• Daniel Kroening, Ofer Strichman: Decision Procedures: An Algorithmic Point of View, Springer, 2008.
• Aaron R. Bradley, Zohar Manna: The Calculus of Computation: Decision Procedures with Applications to Verification, Springer, 2007.
• Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh: Handbook of Satisfiability, IOS Press, 2009.

Extra materials:

• Christel Baier, Joost-Pieter Katoen: Principles of Model Checking, The MIT Press, 2008.
• Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled: Model Checking, The MIT Press, 1999.