Bibliografia

Stacks Image 6753
Logic in Computer Science
modelling and reasoning about systems
Michael Huth and Mark Ryan
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 8
Christel Baier and Joost-Pieter Katoen
Cap 1-6 (recomendado)
Principles of Model Checking


Stacks Image 109
Principles of the Spin Model Checker
M. Ben Ari
Springer
(PSMC)

Also
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.