Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design.
Paolo MilazzoGiovanni PardiniDario SestiniPasquale BovePublished in: GAS@ICSE (2015)
Keyphrases
- model checking
- game design
- case study
- temporal logic
- finite state
- temporal properties
- formal verification
- reachability analysis
- timed automata
- formal specification
- symbolic model checking
- video games
- pspace complete
- automated verification
- verification method
- educational games
- computer games
- design process
- model checker
- real world
- transition systems
- bounded model checking
- modal logic