E. Clarke, O. Grumberg, D. Peled: Model Checking, MIT Press, 1999.
 C. Baier, J.P. Katoen: Principles of Model Checking, MIT Press, 2008.
 G.J. Holzmann: The SPIN Model Checker - Primer and Reference Manual, Addison Wesley, 2004.
(see also Spin Webpage)
 G.J. Holzmann: The Spin Model Checker, IEEE Trans. on Software Engineering, Vol. 23, No. 5, May 1997, pp. 279-295.
 M.B. Dwyer, J. Hatcliff, Robby, C.S. Psreanu, W. Visser: Formal Software Analysis : Emerging Trends in Software Model Checking. Future of Software Engineering Track. Proceedings of the 2007 International Conference on Software Engineering (ICSE 2007), 2007.
 will be the basis of a large part of the course,  gives a comprehensive introduction to model checking,  and  describe the SPIN model checker and  gives a survey of formal software analyses.