2013
Journal article
Restricted
VMC: a tool for the analysis of variability in software product lines
Ter Beek M H, Gnesi S, Mazzanti F
Product family Variability Model checking Temporal logic D.2.4 Software/Program Verification.
Researchers from the Formal Methods and Tools group of ISTI-CNR have developed a tool for the computer-aided verification of behavioural variability in product families.
Source: ERCIM NEWS, vol. 93 (issue 50), p. 51
Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:277189,
title = {VMC: a tool for the analysis of variability in software product lines},
author = {Ter Beek M H and Gnesi S and Mazzanti F},
year = {2013}
}
0000-0002-0139-0421