Games, Automata, Logic, and Formal Verification (GandALF 2011).
Giovanna D'AgostinoSalvatore La TorrePublished in: Theor. Comput. Sci. (2013)
Keyphrases
- formal verification
- model checker
- bounded model checking
- model checking
- finite state
- symbolic model checking
- automated verification
- finite state machines
- game theoretic
- program slicing
- automata theoretic
- video games
- cellular automata
- modal logic
- logic programming
- temporal logic
- linear temporal logic
- winning strategy
- set theory
- game design
- regular expressions
- nash equilibrium
- serious games
- tree automata
- game theory
- finite automata
- knowledge representation
- turing machine
- classical logic
- formal specification
- educational games
- game play