Static analysis and family-based model checking with VMC
暂无分享,去创建一个
Maurice H. ter Beek | Franco Mazzanti | Michael Lienhardt | Ferruccio Damiani | Luca Paolini | Giordano Scarso
[1] Maurice H. ter Beek,et al. Efficient static analysis and verification of featured transition systems , 2021, Empirical Software Engineering.
[2] Maurice H. ter Beek,et al. Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints , 2016, J. Log. Algebraic Methods Program..
[3] Maurice H. ter Beek,et al. VMC: A Tool for Product Variability Analysis , 2012, FM.
[4] Maurice H. ter Beek,et al. Static analysis and family-based model checking of featured transition systems with VMC , 2021, SPLC.
[5] Pierre-Yves Schobbens,et al. Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking , 2013, IEEE Transactions on Software Engineering.
[6] Maurice H. ter Beek,et al. VMC: recent advances and challenges ahead , 2014, SPLC '14.
[7] Maurice H. ter Beek,et al. Static Analysis of Featured Transition Systems , 2019, SPLC.
[8] Sergio Segura,et al. Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..