Curso Doctorado: Verificación de Software, herramientas y técnicas formales. Rendimientos

    Curso 2004-2005
    Profesores:
    A. Valderruten
    J. L. Freire
    Estudiantes:

    Charla del Prof.:

     Puiganet

     Viernes 10 de Junio

     6'30 p.m.
     Seminario 4.1

    Algunos links:
    • Esprit working group 21900 - TYPES
    • Formal Methods
    • Why
    • PVS
    • Hypertextual Electronic Library of Mathematics
    Bibliografía y algunas notas del curso.
    • Illustrating Intuitionistic logic using Coq (Draft: 10-1-04)
    • Notas del Prof. Puiganet (I)
    • Notas del Prof. Puiganet (II)
    Última modificación 22-6-05