Games, automata, logics and formal verification (GandALF 2016).
Domenico CantoneGiorgio DelzannoPublished in: Inf. Comput. (2018)
Keyphrases
- formal verification
- model checking
- finite state machines
- finite state
- bounded model checking
- automated verification
- model checker
- expressive power
- modal logic
- temporal logic
- cellular automata
- program slicing
- video games
- symbolic model checking
- game playing
- nash equilibria
- game play
- game design
- computer games
- inference rules
- nash equilibrium
- game theory
- finite automata
- serious games
- coalitional games
- game players
- regular expressions
- functional verification