Static Analysis and Family-based Model Checking of Featured Transition Systems with VMC

Maurice H. ter Beek, Ferruccio Damiani, Franco Mazzanti, Giordano Scarso, Michele Valfrè
2021 Zenodo  
This is a tool paper accompanying the following journal paper: Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, and Luca Paolini, Efficient Static Analysis and Verification of Featured Transition Systems. Empirical Software Engineering (2021). https://doi.org/10.1007/s10664-020-09930-8
doi:10.5281/zenodo.4497888 fatcat:mnrxwrvbj5eibfxuhe7a5dfb7a