Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques.
Hamideh SabouriRamtin KhosraviPublished in: FACS (2011)
Keyphrases
- model checking
- static analysis
- dynamic analysis
- abstract interpretation
- temporal logic
- product lines
- product line
- source code
- automated verification
- bounded model checking
- software product line
- verification method
- formal verification
- model checker
- symbolic model checking
- temporal properties
- computation tree logic
- formal specification
- management practices
- timed automata
- test suite
- epistemic logic
- reverse engineering
- transition systems
- software systems
- software development
- database
- planning domains
- software engineering