Modellazione e analisi di sistemi

A.A. 2024/2025
6
Crediti massimi
48
Ore totali
SSD
INF/01
Lingua
Italiano
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.
Corso singolo

Questo insegnamento può essere seguito come corso singolo.

Programma e organizzazione didattica
Docente/i
Ricevimento:
su appuntamento
Dipartimento di Informatica
Questo sito utilizza cookie tecnici e di profilazione, propri e di terze parti, per garantire la corretta navigazione, analizzare il traffico e misurare l'efficacia delle attività di comunicazione istituzionale. Se prosegui la navigazione o clicchi su "Accetta tutti" ne acconsenti l'utilizzo, oppure puoi personalizzare la scelta salvando le tue preferenze e scegliendo quali cookie attivare. Per maggiori informazioni e per sapere come gestirli clicca sul bottone "Impostazione dei cookie".