This is an old revision of the document!
Análisis y Verificación de Programas (CC7126)
¿Por qué este curso?
Objetivos y contenido
Requisitos
Evaluación
Material
- G. Winskel, The Formal Semantics of Programming Languages, MIT Press, 1993
- F. Nielson et al., Semantics with Applications: An Appetizer, Springer, 2007
- F. Nielson et al., Principles of Program Analysis, Springer, 2015
- P.W. O'Hearn, A Primer on Separation Logic (and Automatic Program Verification and Analysis), Notas de la Escuela de Verano Marktoberdorf 2011
- J. B. Almeida et al., Rigorous Software Development: An Introduction to Program Verification, Springer, 2011
- A. Appel et al., Program Logics for Certified Compilers, Cambridge University Press, 2014
- P. Cousot, A Tutorial on Abstract Interpretation, VMCAI'05 Industrial Day on Automatic Tools for Program Verification, 2005