Modellazione e analisi di sistemi

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.

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.