Metodi e Strumenti per la Verifica

Andrea Maggiolo Schettini    Tel. 0502212700

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.

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.

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.

Introduzione (2 ore): Reti di Petri, Statecharts, Timed Automata (17 ore); Strumenti software di sviluppo di specifiche e di prova (6 ore):

Articoli sui tre formalismi considerati.

Orale