Towards an incremental automata-based approach for software product-line model checking.
Maxime CordyPierre-Yves SchobbensPatrick HeymansAxel LegayPublished in: SPLC (2) (2012)
Keyphrases
- model checking
- software product line
- finite state
- timed automata
- finite state machines
- temporal logic
- product line
- software engineering
- model checker
- future directions
- formal specification
- temporal properties
- formal verification
- reachability analysis
- automated verification
- life cycle
- software development
- symbolic model checking
- verification method
- transition systems
- epistemic logic
- computation tree logic
- linear temporal logic
- asynchronous circuits
- concurrent systems
- process algebra
- bounded model checking
- tree automata
- pspace complete
- formal methods
- specification language
- test suite
- satisfiability problem
- finite automata
- planning domains
- theorem prover
- error rate
- knowledge based systems
- data model
- multi agent systems
- artificial intelligence