VMC is a research tool for model checking variability-rich behavioural models specified as a modal transition system (MTS) with variability constraints (MTSv). 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 MTSv or a featured transition system (FTS).
Static analysis and family-based model checking with VMC
ter Beek MH;Mazzanti F;
2021
Abstract
VMC is a research tool for model checking variability-rich behavioural models specified as a modal transition system (MTS) with variability constraints (MTSv). 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 MTSv or a featured transition system (FTS).File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_456542-doc_176717.pdf
non disponibili
Descrizione: Static analysis and family-based model checking with VMC
Tipologia:
Versione Editoriale (PDF)
Dimensione
321.48 kB
Formato
Adobe PDF
|
321.48 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
prod_456542-doc_176718.pdf
accesso aperto
Descrizione: Postprint - Static analysis and family-based model checking with VMC
Tipologia:
Versione Editoriale (PDF)
Dimensione
318.09 kB
Formato
Adobe PDF
|
318.09 kB | Adobe PDF | Visualizza/Apri |
|
prod_456542-doc_176719.pdf
accesso aperto
Descrizione: Preprint - Static analysis and family-based model checking with VMC
Tipologia:
Versione Editoriale (PDF)
Dimensione
367.33 kB
Formato
Adobe PDF
|
367.33 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
