Model checking software product lines based on feature slicing.
Ming-Yu HuangYu-Mei LiuPublished in: Int. J. Comput. Sci. Eng. (2019)
Keyphrases
- modal logic
- temporal logic
- model checking
- software product line
- epistemic logic
- finite state
- automated verification
- formal verification
- concurrent systems
- model checker
- computation tree logic
- temporal properties
- pspace complete
- formal specification
- verification method
- symbolic model checking
- bounded model checking
- timed automata
- transition systems
- reachability analysis
- future directions
- learning methodologies
- formal methods
- asynchronous circuits
- planning domains
- software engineering
- adult literacy