VMC is a research tool for model checking variability-rich behavioural models specified as a modal transition system (MTS) with variability constraints (MTSu). In this tutorial, we introduce a tool chain built on VMC that allows to perform an efficient kind of family-based model checking in absence of deadlocks. It accepts as input either an MTSu or a featured transition system (FTS).
Static analysis and family-based model checking with VMC
Damiani F.;Paolini L.;
2021-01-01
Abstract
VMC is a research tool for model checking variability-rich behavioural models specified as a modal transition system (MTS) with variability constraints (MTSu). In this tutorial, we introduce a tool chain built on VMC that allows to perform an efficient kind of family-based model checking in absence of deadlocks. It accepts as input either an MTSu or a featured transition system (FTS).
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Static analysis and family-based model checking with VMC - ACM 2021 tut.pdf
Accesso riservato
Tipo di file:
PDF EDITORIALE
Dimensione
321.48 kB
Formato
Adobe PDF
|
321.48 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
