2012
Conference article  Restricted

The Variability Model Checker VMC.

Ter Beek M H

Product family  Variability  Temporal logic  Model checking 

We demonstrate an experimental tool for modelling and analysing (behavioural) variability in product families modelled as Modal Transition Systems (MTSs).



Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:215297,
	title = {The Variability Model Checker VMC.},
	author = {Ter Beek M H},
	year = {2012}
}