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.
Introduzione all'analisi e la verifica di programmi.
Analisi statica
Model checking e model checking astratto
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 |
Seminario su argomenti, collegati al programma del corso, scelti dallo studente
******** CSS e script comuni siti DOL - frase 9957 ********p>