Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.
Andreas ClassenMaxime CordyPierre-Yves SchobbensPatrick HeymansAxel LegayJean-François RaskinPublished in: IEEE Trans. Software Eng. (2013)
Keyphrases
- model checking
- transition systems
- temporal logic
- automated verification
- formal methods
- model checker
- reactive systems
- formal verification
- formal specification
- finite state
- bounded model checking
- symbolic model checking
- concurrent systems
- verification method
- artificial intelligence
- knowledge base
- specification language
- modal logic
- computation tree logic