Obiettivi generali:
L'insegnamento è indirizzato all'acquisizione delle conoscenze logiche e di modellazione necessarie alla verifica di sistemi hardware e software complessi (con particolare riferimento al Model Checking).

Obiettivi specifici:

Conoscenza e comprensione:
Alla fine del corso lo studente avrà piena comprensione degli strumenti di modellazione proposti (model checkers).

Capacità di applicare conoscenza e comprensione:
Alla fine del corso lo studente sarà in grado di utilizzare gli strumenti presentati durante il corso e
di approfondirne lo studio consultando autonomamente altri testi dedicati all'argomento e materiale scientifico che lo riguarda.

Capacità critiche e di giudizio:
Le conoscenze acquisite permetteranno allo studente di affrontare le applicazioni proposte in altri insegnamenti e affrontare i problemi che gli verranno proposti nella carriera lavorativa in tema di modellazione e verifica di sistemi.

Capacità di comunicazione:
Lo studente viene stimolato ad esporre e comunicare le proprie esperienze nella cerchia dei suoi colleghi.

Capacità di proseguire lo studio:
Il corso tratta soltanto alcuni dei campi proponibili, ma dà notizia anche di un ampio spettro di tecniche che possono essere utilizzate in questo campo in modo che egli possa criticamente scegliere a seconda dei casi.