Unità didattica
Course full name
Concurrent Models
Course ID number
2223-1-F1801Q132-F1801Q132M
Lezione del 10 ottobre
Completion requirements
15:30-17:30, aula U4-02
Riassunto della lezione
- Regole di derivazione della logica di Hoare, seconda parte
- La regola delle istruzioni iterative: definizione di invariante di ciclo
- Distinzione fra correttezza parziale e correttezza totale
- Esercizi