Efficient software product-line model checking using induction and a SAT solver

2018 ◽  
Vol 12 (2) ◽  
pp. 264-279 ◽  
Author(s):  
Fei He ◽  
Yuan Gao ◽  
Liangze Yin
Keyword(s):  
Model Checking ◽  
Software Product Line ◽  
Product Line ◽  
Line Model ◽  
Software Product ◽  
Sat Solver ◽  
Efficient Software

scholarly journals Simulation-based abstractions for software product-line model checking

2012 ◽  
Author(s):  
Maxime Cordy ◽  
Andreas Classen ◽  
Gilles Perrouin ◽  
Pierre-Yves Schobbens ◽  
Patrick Heymans ◽  
...  
Keyword(s):  
Model Checking ◽  
Software Product Line ◽  
Product Line ◽  
Line Model ◽  
Simulation Based ◽  
Software Product
Sign in / Sign up

Export Citation Format

Share Document