scholarly journals Safety analysis of software product lines using state-based modeling and compositional model checking

2008 ◽  
Author(s):  
Jing Liu
Keyword(s):  
Model Checking ◽  
Software Product Lines ◽  
Safety Analysis ◽  
Product Lines ◽  
Compositional Model ◽  
Software Product

Model-based safety analysis of software product lines

2016 ◽  
Vol 8 (5/6) ◽  
pp. 412
Author(s):  
Tim Kelly ◽  
Ibrahim Habli ◽  
Paulo Cesar Masiero ◽  
André Luiz De Oliveira ◽  
Rosana T.V. Braga ◽  
...  
Keyword(s):  
Software Product Lines ◽  
Safety Analysis ◽  
Product Lines ◽  
Model Based ◽  
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