Modellazione e analisi di sistemi
A.A. 2024/2025
Obiettivi formativi
L'obiettivo dell'insegnamento è di presentare le metodologie e le tecniche per la specifica e l'analisi formale di sistemi complessi. Vengono quindi presentati i fondamenti teorici delle metodologie di modellazione astratta (operazionale e dichiarativa) e delle tecniche di verifica formale di proprietà espresse in logica temporale.
Risultati apprendimento attesi
Al termine dell'insegnamento, lo studente dovrà essere in grado di sviluppare un modello di specifica formale per un sistema complesso. Lo studente inoltre dovrà aver acquisito una capacità di modellazione tramite raffinamento di modelli ed avere competenze su metodi e tecniche per la verifica formale di proprietà temporali.
Periodo: Secondo semestre
Modalità di valutazione: Esame
Giudizio di valutazione: voto verbalizzato in trentesimi
Corso singolo
Questo insegnamento può essere seguito come corso singolo.
Programma e organizzazione didattica
Docente/i