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
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.