PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S., Mazzanti F. VMC: a tool for the analysis of variability in software product lines. In: ERCIM News, vol. 93 pp. 50 - 51. Special issue: Mobile Computing. ERCIM, 2013.
 
 
Abstract
(English)
Researchers from the Formal Methods and Tools group of ISTI-CNR have developed a tool for the computer-aided verification of behavioural variability in product families.
URL: http://ercim-news.ercim.eu/en93/ri/vmc-a-tool-for-the-analysis-of-variability-in-software-product-lines
Subject Product family
Variability
Model checking
Temporal logic
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. 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