Practical Model-Checking Using Games
No abstract available.
Related papers
- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games CAV 2019
- Attracting Tangles to Solve Parity Games CAV 2018
- Oink: An Implementation and Evaluation of Modern Parity Game Solvers TACAS 2018
- Pushdown Processes: Games and Model Checking CAV 1996
- Model-Checking Iterated Games TACAS 2013
- MetaGame: An Animation Tool for Model-Checking Games TACAS 2004
- On-the-Fly Techniques for Game-Based Software Model Checking TACAS 2008
- HORNSAT, Model Checking, Verification and games (Extended Abstract) CAV 1996