Symbolic model checking of software product lines.
Andreas ClassenPatrick HeymansPierre-Yves SchobbensAxel LegayPublished in: ICSE (2011)
Keyphrases
- symbolic model checking
- software product line
- model checking
- software engineering
- partial observability
- life cycle
- future directions
- formal verification
- model checker
- conformant planning
- learning methodologies
- symbolic representation
- test suite
- binary decision diagrams
- software development
- adult literacy
- formal methods
- planning domains
- formal specification
- artificial intelligence
- finite state
- temporal logic
- real valued
- software systems
- domain specific