Title of paper: VMC: A Tool for the Analysis of Variability in Software Product Lines

Abstract

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.