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

Contributo in Atti di convegno
Data di Pubblicazione:
2012
Abstract:
We demonstrate an experimental tool for the modeling and analysis of behavioral variability in product families.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Model checking; Product family; Temporal logic; Variability
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/2839
Titolo del libro:
Proceeding SPLC '12 Proceedings of the 16th International Software Product Line Conference - Volume 2