Abstract Modelling and On-the-fly model checking

Day - Time: 13 March 2013, h.15:00
Place: Area della Ricerca CNR di Pisa - Room: C-29

Franco Mazzanti


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.