Rigorous Software Development.An Introduction to Program Verification
Series: Undergraduate Topics in Computer Science
Almeida, J.B., Frade, M.J., Pinto, J.S., Melo de Sousa, S.
1st Edition., 2011, XIII, 307 p. 52 illus.

Decision Procedures: an algorithmic point of view
By Daniel Kroening and Ofer Strichman

Logic in Computer Science
modelling and reasoning about systems
Michael Huth and Mark Ryan

Interactive Theorem Proving and Program Development
Yves Bertot and Pierre Casterán
Springer

Exercises