Bibliografia

Stacks Image 7
Logic in Computer Science
modelling and reasoning about systems
Michael Huth and Mark Ryan
Stacks Image 8
Christel Baier and Joost-Pieter Katoen
Principles of Model Checking

Stacks Image 9

Systems and Software Verification
Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.
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 11
Decision Procedures: an algorithmic point of view
By Daniel Kroening and Ofer Strichman