Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H. The Variability Model Checker VMC. In: iFM & ABZ 2012 - Joint 9th International Conference on Integrated Formal Methods and 3rd International Conference on ASM, Alloy, B, VDM, and Z (Pisa, Italy, 18-21 June 2012). Abstract, pp. 26 - 30. F. Mazzanti and G. Trentanni (eds.). ISTI-CNR, 2012.
We demonstrate an experimental tool for modelling and analysing (behavioural) variability in product families modelled as Modal Transition Systems (MTSs).
Subject Product family
Temporal logic
Model checking
D.2.4: Software/Program Verification - Formal methods, Model checking

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional