Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt. Static analysis and family-based model checking with VMC. In Mohammad Mousavi, Pierre-Yves Schobbens, editors, SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, September 6-11, 2021, Volume A. pages 214, ACM, 2021. [doi]
Abstract is missing.