Bibliografia

Stacks Image 8
Christel Baier and Joost-Pieter Katoen
Cap 1-6 (recomendado)
Principles of Model Checking


Stacks Image 10
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.
Stacks Image 109
Principles of the Spin Model Checker
M. Ben Ari
Springer

Also
Stacks Image 7
Logic in Computer Science
modelling and reasoning about systems
Michael Huth and Mark Ryan
Stacks Image 250

Systems and Software Verification
Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.