Static analysis and family-based model checking of featured transition systems with VMC.

Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfr, Michael Lienhardt

Browse the full SPLC paper archive.