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

Conference Paper
Publication Date:
2012
abstract:
We demonstrate an experimental tool for the modeling and analysis of behavioral variability in product families.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Model checking; Product family; Temporal logic; Variability
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/2839
Book title:
Proceeding SPLC '12 Proceedings of the 16th International Software Product Line Conference - Volume 2