$\hbox {CTL}^{\star }$ family-based model checking using variability abstractions and modal transition systems.
Aleksandar S. DimovskiPublished in: Int. J. Softw. Tools Technol. Transf. (2020)
Keyphrases
- knowledge base
- transition systems
- model checking
- temporal logic
- computation tree logic
- model checker
- finite state
- formal verification
- concurrent systems
- temporal properties
- formal specification
- bounded model checking
- symbolic model checking
- linear temporal logic
- formal methods
- control flow
- artificial intelligence
- epistemic logic
- alternating time temporal logic
- practical reasoning
- domain independent