Será en Septiembre
Seminario 4.1
Algunos links: Esprit working group 21900 - TYPES Formal Methods Bibliografía y Notas del curso. Coq Para Windows NT y 95 V6.2.2 Coq Para Linux V6.2.2 The Coq Proof Assistant Reference Manual V6.2.2 Un trabajo introductorio a COQ Semántica de un lenguaje Primer fichero de codigo(sem1.v) Lectura recomendada Manual de SMV Verificacion de Java (1) Ejemplo de programa secuencial verificado usando Coq. Curso:1999-2000 . 11/4/00 Jose Luis Freire Nistal