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 M. H., 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).

Source: SPLC'21 - 25th International Systems and Software Product Line Conference, pp. 214–214, Leicester, UK, 06-10/09/2021

Publisher: ACM Press, New York, USA

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 M. H. and Mazzanti F. and Damiani F. and Paolini L. and Scarso G. and Lienhardt M.},
	publisher = {ACM Press, New York, USA},
	doi = {10.1145/3461001.3472732},
	booktitle = {SPLC'21 - 25th International Systems and Software Product Line Conference, pp. 214–214, Leicester, UK, 06-10/09/2021},
	year = {2021}
}