The Variability Model Checker VMC.

Abstract
Data di Pubblicazione:
2012
Abstract:
We demonstrate an experimental tool for modelling and analysing (behavioural) variability in product families modelled as Modal Transition Systems (MTSs).
Tipologia CRIS:
04.02 Abstract in Atti di convegno
Keywords:
Product family; Variability; Temporal logic; Model checking
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/179019