Two Variable vs. Linear Temporal Logic in Model Checking and Games.
Michael BenediktRastislav LenhardtJames WorrellPublished in: CONCUR (2011)
Keyphrases
- linear temporal logic
- model checking
- temporal logic
- bounded model checking
- formal specification
- formal verification
- computation tree logic
- model checker
- modal logic
- transition systems
- verification method
- game theory
- symbolic model checking
- game theoretic
- finite state
- video games
- epistemic logic
- formal methods
- game playing
- game play
- concurrent systems