PRACTICAS (2.5 ptos)

 Práctica 1

 Práctica 2

 Práctica 3
 

TRABAJO FINAL (2.5 ptos)

Opciones

  1. Trabajo sobre Verificación Formal en general.
  2. Introducción a SPIN. Se ofrece un ejemplo en "Material para el Trabajo Final".
  3. Trabajo sobre el estado actual de los métodos de verificación formal. Consiste en traducir/resumir el documento que aparece en "Material para el Trabajo Final".
Nota: La extensión de los trabajos será preferentemente de 10-15 páginas de texto (es decir, 10-15 páginas+portada+índice...), aunque está permitida una extensión mayor. Se tiene que incluír en una bibliografía los recursos (libros, artículos, páginas WEB) utilizados, aún los listados a continuación.

MATERIAL PARA EL TRABAJO FINAL

1.  Formal Methods

 Esprit working group 21900 - TYPES

  Ricardo Peña-Marí. "Diseño de programas. Formalismo y abstracción". Ed. McGraw-Hill, 1997.

  David Gries. "The Science of programming". Ed. Springer-Verlag, 1981.

  Ole-Johann Dahl. "Verifiable Programming". Ed. Prentice-Hall, 1992.

 

2. Introduccion a SPIN:    (.doc)    (.pdf) 

 "The Model Checker Spin", Gerard J. Holzmann

 pagina oficial de SPIN
 

3.  Estado actual de los métodos de verificación formal