Unità didattica
Titolo del corso
Modelli della Concorrenza
Codice identificativo del corso
2223-1-F1801Q132-F1801Q132M
Lezione del 13 ottobre 2022
Aggregazione dei criteri
15:30-18:30, aula U24C1
Il contenuto di questa cartella verrà arricchito nei prossimi giorni.
Riassunto
- Logica di Hoare: la regola di derivazione per la correttezza totale di istruzioni iterative
- Considerazioni su correttezza e completezza della logica di Hoare
- Precondizione più debole (weakest precondition): definizione, significato intuitivo, esempi
- Corrispondenza fra stati e formule