Curso Doctorado: Métodos Formais para o desenvolvemento do Software

Bienio:1997-99 y 1999-00, Curso:1998-99
José L. Freire Nistal
J. M. Barja Pérez
 

Departmento de Computación

Tercer Ciclo. Programa Computación e Intelixencia Artificial

Profesores

• José Luis Freire Nistal
• José María Barja Pérez

• Materia optativa, de 4 créditos y tipo B (Código 9703160)
• Charlas: Normalmente los Lunes a las 18h en el Seminario 4.1. Se anunciarán previamente en esta página.
• Las prácticas se realizarán en el Sistema de  la FI.

Contenidos:

• Métodos formales.
• Razonamiento automático.
• Gestión de pruebas.
• Generación de código.

Algunos links:

• Esprit working group 21900 - TYPES
• Formal Methods