Static analysis and family-based model checking with VMC.

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

Browse the full SPLC paper archive.