scholarly journals Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking

2015 ◽  
Vol 182 ◽  
pp. 56-70 ◽  
Author(s):  
Maurice H. ter Beek ◽  
Axel Legay ◽  
Alberto Lluch Lafuente ◽  
Andrea Vandin
Keyword(s):  
Quantitative Analysis ◽  
Model Checking ◽  
Statistical Model ◽  
Probabilistic Models ◽  
Software Product Lines ◽  
Product Lines ◽  
Statistical Model Checking ◽  
Software Product

scholarly journals Potential synergies of theorem proving and model checking for software product lines

2014 ◽  
Author(s):  
Thomas Thüm ◽  
Jens Meinicke ◽  
Fabian Benduhn ◽  
Martin Hentschel ◽  
Alexander von Rhein ◽  
...  
Keyword(s):  
Model Checking ◽  
Theorem Proving ◽  
Software Product Lines ◽  
Product Lines ◽  
Software Product

scholarly journals Incremental model checking of delta-oriented software product lines

2016 ◽  
Vol 85 (1) ◽  
pp. 245-267 ◽  
Author(s):  
Malte Lochau ◽  
Stephan Mennicke ◽  
Hauke Baller ◽  
Lars Ribbeck
Keyword(s):  
Model Checking ◽  
Software Product Lines ◽  
Product Lines ◽  
Incremental Model ◽  
Software Product
Sign in / Sign up

Export Citation Format

Share Document