Publication:4639981
From MaRDI portal
zbMath1387.68072MaRDI QIDQ4639981
Dilian Gurov, Minko Markov, Bjarte M. Østvold, Siavash Soleimanifard, Ina Schaefer
Publication date: 15 May 2018
Full work available at URL: http://serdica-comp.math.bas.bg/index.php/serdicajcomputing/article/view/244
model checking; product families; compositional verification; maximal models; model mining; variability models
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)