Unidad Didáctica 1

    Tema 1. El papel de la especificación.
    Tema 2. Que especificar
    Tema 3. La abstracción

Unidad Didáctica 2

    Tema 4. Lógica proposicional
    Tema 5. Lógica de predicados
    Tema 6. Un sistema formal de generación de modelos: Alloy

Unidad Didáctica 3

    Tema 7. Lógica temporal.
    Tema 8. Verificación de modelos  

 Unidad Didáctica 4

    Tema 10. Verificación de programas
    Tema 11. Logica modal
    Tema 12. Algunos sistemas formales: VDM, Z, B