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
@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} }