PUMA
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.
 
 
Abstract
(English)
We demonstrate an experimental tool for modelling and analysing (behavioural) variability in product families modelled as Modal Transition Systems (MTSs).
Subject Product family
Variability
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