Abstract Modelling and On-the-fly model checking

Giorno - Ora: 13 March 2013, h.15:00
Luogo: Area della Ricerca CNR di Pisa - Stanza: C-29
Speakers
Referente

Franco Mazzanti

Abstract

The seminar will present the underlying basic ideas and the current status of the UMC/FMC/CMC/VMC modellling and verification framework developed at ISTI. A railway scenario will be used to illustrate in more detail the features of UMC.