Software tools

FM-Ware for Feature Models: A tool support for automatic verification of cardinality based feature models. FM-Ware is a standalone tool allowing edit and verify feature models by means of graph navigating algorithms, this project has been abandoned in January 2009 and replaced by VariaMos. Copyright (C) Raúl Mazo

VariaMos: Java tool for supporting automated verification, analysis and configuration of variability models represented as high level constraint programs.

Conformance Checker of Feature Models. Copyright (C) Daniel Diaz and Raúl Mazo. Available to download at the Attachements section of this site.