Analisi e Verifica avanzata di programmi (2019/2020)

Codice insegnamento
cod wi: DT000048
Docente
Isabella Mastroeni
Coordinatore
Isabella Mastroeni
crediti
2
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
A.A. 19/20 dottorato dal 1-ott-2019 al 30-set-2020.

Orario lezioni

Vai all'orario delle lezioni

Obiettivi formativi

Obiettivo del corso è quello di fornire gli strumenti avanzati per la comprensione, la progettazione e l'uso di strumenti di analisi statica e verifica di sistemi informatici al fine di verificare proprietà e/o estrarre funzionalità di sistemi sotto analisi.

Programma

Introduzione all'analisi e la verifica di programmi.
Analisi statica
Model checking e model checking astratto

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Xavier Rival, Kwangkeun Yi Introduction to Static Analysis: An Abstract Interpretation Perspective MIT 2020
Edmund M Clarke, Orna Grumberg, Doron Peled, Doron Peleg Model Checking (Edizione 2) MIT 2018 9780262038836

Modalità d'esame

Seminario su argomenti, collegati al programma del corso, scelti dallo studente