Document - Demonstration of a model checker for the analysis of product variability.

2012

Conference article Restricted

Demonstration of a model checker for the analysis of product variability.

Ter Beek M. H., Gnesi S., Mazzanti F.

Product family Variability Model checking Temporal logic

We demonstrate an experimental tool for the modeling and analysis of behavioral variability in product families.

Source: 16th International Software Product Line Conference, pp. 242–245, Salvador, Bahia, Grazil, 2-7 September 2012

Publisher: ACM Press, New York, USA

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:218334,
	title = {Demonstration of a model checker for the analysis of product variability.},
	author = {Ter Beek M.  H. and Gnesi S. and Mazzanti F.},
	publisher = {ACM Press, New York, USA},
	doi = {10.1145/2364412.2364454},
	booktitle = {16th International Software Product Line Conference, pp. 242–245, Salvador, Bahia, Grazil, 2-7 September 2012},
	year = {2012}
}