| | | corso | | | |
Metodi e Strumenti per la Verifica
Codice: | AA264 | Crediti: | 6 | Semestre: | 2 | Sigla: | MSV | |
|
Settore disciplinare: | INF/01 - Informatica |
Docente
Andrea Maggiolo Schettini
Tel. 0502212700Obiettivi di apprendimento
Scopo del corso è di esporre il problema della specifica e della
verifica di sistemi concorrenti e distribuiti usando diversi
formalismi,
Reti di Petri, Statecharts, Timed Automata.
Descrizione
Il corso introdurrà Reti di Petri, Statecharts, Timed Automata Di
ogni formalismo si affronteranno gli aspetti semantici e si
presenteranno strumenti automatici che verranno utilizzati per
sviluppare specifica e verifica per casi di esempio concreti.
English Description
The course will introduce Petri nets, Statecharts and Timed Automata.
Of each of the formalisms considered semantic aspects will be
tackled, and automatic tools will be described and used to develop
specifications and verifications for actual cases.
Programma
Introduzione (2 ore):
Reti di Petri, Statecharts, Timed Automata (17 ore);
Strumenti software di sviluppo di specifiche e di prova (6 ore):
Bibliografia
Articoli sui tre formalismi considerati.
Modalità di esame
Orale