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 93 (2013): 51.
Publisher: ERCIM., Le Chesnay
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.},
publisher = {ERCIM., Le Chesnay},
journal = {ERCIM news},
volume = {93},
pages = {51},
year = {2013}
}
0000-0002-0139-0421