HORNSAT, Model Checking, Verification and games (Extended Abstract)
Abstract elided by the publisher.
Related papers
- Infinite Games and Verification (Extended Abstract of a Tutorial) CAV 2002
- Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A) CAV 2003
- Oink: An Implementation and Evaluation of Modern Parity Game Solvers TACAS 2018
- A Web Interface for Petri Nets with Transits and Petri Games TACAS 2021
- Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games CAV 2024
- PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time CAV 2020
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- A traversal-based algorithm for higher-order model checking ICFP 2012