MetaGame: An Animation Tool for Model-Checking Games
No abstract available.
Related papers
- PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time CAV 2020
- JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP TACAS 2005
- Oink: An Implementation and Evaluation of Modern Parity Game Solvers TACAS 2018
- Pushdown Processes: Games and Model Checking CAV 1996
- Practical Model-Checking Using Games TACAS 1998
- Model-Checking Iterated Games TACAS 2013
- On-the-Fly Techniques for Game-Based Software Model Checking TACAS 2008
- HORNSAT, Model Checking, Verification and games (Extended Abstract) CAV 1996