Demonstration of a model checker for the analysis of product variability.

Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti

Browse the full SPLC paper archive.