Unità didattica
Titolo del corso
Modelli della Concorrenza
Codice identificativo del corso
2223-1-F1801Q132-F1801Q132M
Lezione del 10 ottobre
Aggregazione dei criteri
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