Cursos Doctorado:00003A002 A Lógica Computacional ++ 00003A008 A Certificación de Propiedades de Sistemas Distribuidos
Curso 2005-2006
Profesor:
J. L. Freire
Estudiantes:
Garcia Varela , Jose Antonio
Rodriguez Blanco , Jose Manuel
Baldonedo del Rio, Belen
Barreira Valin, Alberto
Gago Pallares, Yuridia
Gomez Rodriguez, Carlos
Gonzalez Iglesias, Jorge
Perez Sanchez, Beatriz
Rodriguez Blanco, Jose Manuel
Rouco Maseda, Jose
Próxima Charla: Seminario 4.1: Jueves 16 de Febrero a las 7
Algunos links:
Esprit working group 21900 - TYPES
Formal Methods
Why
PVS
PVS Lib. at NASA
Coq
Hypertextual Electronic Library of Mathematics
Última modificación 29-3-06