elenco   
        corso   

Metodi e Strumenti per la Verifica

Codice: AA264Crediti: 6Semestre: 2Sigla: MSV 
 
Settore disciplinare: INF/01 - Informatica

Docente

Andrea Maggiolo Schettini   maggiolo@di.unipi.it  Tel. 0502212700

Obiettivi 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

home


email