"Métodos formales en computación e I.A." (2002-03)
Temas de introducción a PVS:
- Tema 1:
Cálculo proposicional en PVS.
- Tema 2:
Lógica de primer orden en PVS.
- Tema 3:
Teorías de primer orden en PVS.
- Tema 4:
Aritmética e inducción en PVS.
- Tema 5:
Lógica de orden superior en PVS.
- Tema 6:
Tipos abstractos de datos en PVS.