Applying Game Semantics to Compositional Software Modeling and Verification.
Samson AbramskyDan R. GhicaAndrzej S. MurawskiC.-H. Luke OngPublished in: TACAS (2004)
Keyphrases
- dynamic aspects
- user interface
- source code
- software systems
- video games
- game theoretic
- modeling language
- game theory
- model checking
- virtual world
- computer systems
- software architecture
- petri net
- case study
- software projects
- educational games
- serious games
- game play
- data flow
- formal verification
- imperfect information
- software development
- colored petri nets