Symbolic Game Semantics for Model Checking Program Families.
Aleksandar S. DimovskiPublished in: SPIN (2016)
Keyphrases
- asynchronous circuits
- model checking
- process algebra
- epistemic logic
- temporal logic
- model checker
- automated verification
- formal verification
- formal specification
- alternating time temporal logic
- temporal properties
- video games
- computation tree logic
- binary decision diagrams
- pspace complete
- game theory
- symbolic representation
- formal methods
- game theoretic
- reachability analysis
- finite state machines
- timed automata
- transition systems
- computer games
- verification method
- game play
- concurrent systems
- symbolic model checking
- linear temporal logic
- bounded model checking
- modal logic
- software engineering
- specification language
- formal semantics