swMATH ID: 1409
Software Authors: Li Tan
Description: PlayGame is an integrated tool for implementing and playing various diagnostic games. The tool uses a semantics hierarchy to improve code sharing among various diagnostic games and reduce the cost of introducing a new game. PlayGame synthesizes the winning strategy using the evidence that is an abstract and uniform encoding of the proof computed by a checker, and hence instead of relying on any particular checker the tool works on a variety of checkers that can be extended to produce such evidence. The current version of PlayGame implements game-based diagnostic routines for mu Calculus model checking game and a full range of equivalence/preorder semantics including: bisimulation /simulation, weak bisimulation /simulation, trace equivalence /preorder, and testing equivalence /preorder. Blow is the architecture design of PlayGame.
Homepage: http://users.tricity.wsu.edu/~litan/tools/playgame.html
Related Software: Truth/SLC
Referenced in: 2 Publications
Further Publications: http://users.tricity.wsu.edu/~litan/publications.html

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
PlayGame: A platform for diagnostic games. Zbl 1103.68641
Tan, Li

Referenced by 2 Authors

1 Sevenster, Merlijn
1 Tan, Li

Referenced in 0 Serials

Referencing Publications by Year