Simulation-based abstractions for software product-line model checking.
Maxime CordyAndreas ClassenGilles PerrouinPierre-Yves SchobbensPatrick HeymansAxel LegayPublished in: ICSE (2012)
Keyphrases
- model checking
- software product line
- product line
- software engineering
- temporal logic
- future directions
- life cycle
- formal verification
- model checker
- temporal properties
- partial order reduction
- finite state
- formal specification
- software development
- formal methods
- transition systems
- epistemic logic
- test suite
- computation tree logic
- automated verification
- reachability analysis
- process algebra
- symbolic model checking
- bounded model checking
- timed automata
- asynchronous circuits
- pspace complete
- concurrent systems
- verification method
- search algorithm