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 Mh, 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, vol. 224

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 Mh and Damiani F and Lienhardt M and Mazzanti F and Paolini L and Scarso G},
	doi = {10.1016/j.scico.2022.102879},
	year = {2022}
}