Document - FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC

2022

Journal article Open Access

FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC

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

Variability Static analysis Model checking Featured Transition Systems Modal Transition Systems

FTS4VMC is a publicly available front-end tool for the static analysis and family-based model checking of a Featured Transition System (FTS). It can detect ambiguities in an FTS, disambiguate an ambiguous FTS, transform an FTS into a Modal Transition System (MTS), and interact with the VMC model checker for family-based verification.

Source: Science of computer programming (Print) 224 (2022). doi:10.1016/j.scico.2022.102879

Publisher: North-Holland, Amsterdam , Paesi Bassi

Metrics

Back to previous page

Cite as

BibTeX entry

@article{oai:it.cnr:prodotti:471666,
	title = {FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC},
	author = {Ter Beek M. H. and Damiani F. and Lienhardt M. and Mazzanti F. and Paolini L. and Scarso G.},
	publisher = {North-Holland, Amsterdam , Paesi Bassi},
	doi = {10.1016/j.scico.2022.102879},
	journal = {Science of computer programming (Print)},
	volume = {224},
	year = {2022}
}