VMC: a tool for product variability analysis. We present VMC, a tool for the modeling and analysis of variability in product lines. It accepts a product family specified as a modal transition system, possibly with additional variability constraints, after which it can automatically generate all the family’s valid products, visualize the family/products as modal/labeled transition systems, and efficiently model check properties expressed in an action- and state-based branching-time temporal logic over products and families alike.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco: Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (2016)
- ter Beek, Maurice H.; Gnesi, Stefania; Mazzanti, Franco: From EU projects to a family of model checkers. From Kandinsky to KandISTI (2015)
- ter Beek, Maurice H.; Gnesi, Stefania; Mazzanti, Franco: Model checking value-passing modal specifications (2015)
- ter Beek, Maurice H.; Mazzanti, Franco; Sulova, Aldi: VMC: a tool for product variability analysis (2012) ioport