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 (disponible en biblioteca)
- F. Nielson et al., Semantics with Applications: An Appetizer, Springer, 2007 (disponible en biblioteca)
- F. Nielson et al., Principles of Program Analysis, Springer, 2015 (disponible en biblioteca)
- P.W. O'Hearn, A Primer on Separation Logic (and Automatic Program Verification and Analysis), Notas de la Escuela de Verano Marktoberdorf 2011 (disponible online)
- 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 (disponible online)