Document - Static analysis and family-based model checking with VMC

2021

Conference article Open Access

Static analysis and family-based model checking with VMC

Ter Beek Mh, Mazzanti F, Damiani F, Paolini L, Scarso G, Lienhardt M

VMC SPL Variability FTS MTS Static analysis Model checking

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

Publisher: ACM Press

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:456542,
	title = {Static analysis and family-based model checking with VMC},
	author = {Ter Beek Mh and Mazzanti F and Damiani F and Paolini L and Scarso G and Lienhardt M},
	publisher = {ACM Press},
	doi = {10.1145/3461001.3472732},
	year = {2021}
}