Product Line Verification via Modal Meta Model Checking.
Tim TegelerAlnis MurtoviMarkus FrohmeBernhard SteffenPublished in: From Software Engineering to Formal Methods and Tools, and Back (2019)
Keyphrases
- model checking
- product line
- transition systems
- temporal logic
- modal logic
- software product line
- model checker
- formal verification
- automated verification
- verification method
- formal specification
- temporal properties
- finite state
- product lines
- partial order reduction
- software development
- software architecture
- concurrent systems
- computation tree logic
- symbolic model checking
- bounded model checking
- cl pc
- pspace complete
- epistemic logic
- formal methods
- software engineering
- timed automata
- reachability analysis
- process algebra
- linear temporal logic
- satisfiability problem
- alternating time temporal logic
- future directions
- software systems
- knowledge management
- open source