Towards an incremental automata-based approach for software product-line model checking

2012 ◽  
Author(s):  
Maxime Cordy ◽  
Pierre-Yves Schobbens ◽  
Patrick Heymans ◽  
Axel Legay
Keyword(s):  
Model Checking ◽  
Software Product Line ◽  
Product Line ◽  
Line Model ◽  
Software Product

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