Model Checking in Multiplayer Games Development.
Ruslan RezinIlya AfanasyevManuel MazzaraVictor RiveraPublished in: AINA (2018)
Keyphrases
- model checking
- temporal logic
- game development
- formal verification
- computer games
- symbolic model checking
- reachability analysis
- model checker
- finite state
- mobile games
- temporal properties
- formal specification
- game play
- finite state machines
- bounded model checking
- timed automata
- pspace complete
- verification method
- educational games
- transition systems
- concurrent systems
- linear temporal logic
- automated verification
- partial order reduction
- online game
- serious games
- deterministic finite automaton
- game playing
- process algebra
- development process
- knowledge based systems
- computation tree logic
- asynchronous circuits
- imperfect information
- formal methods
- nash equilibrium
- satisfiability problem
- video games
- petri net
- search algorithm