2012
Contribution to conference  Unknown

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).

Source: Joint 9th International Conference on Integrated Formal Methods and 3rd International Conference on ASM, Alloy, B, VDM, and Z, pp. 26–30, Pisa, Italy, 18-21 June 2012



Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:215297,
	title = {The Variability Model Checker VMC.},
	author = {Ter Beek M.  H.},
	booktitle = {Joint 9th International Conference on Integrated Formal Methods and 3rd International Conference on ASM, Alloy, B, VDM, and Z, pp. 26–30, Pisa, Italy, 18-21 June 2012},
	year = {2012}
}