An Abstract Schema for Equivalence-Checking Games
No abstract available.
Related papers
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022
- Verifying equivalence of database-driven applications POPL 2018
- Process Equivalence Problems as Energy Games CAV 2023
- HORNSAT, Model Checking, Verification and games (Extended Abstract) CAV 1996
- Quasipolynomial Computation of Nested Fixpoints TACAS 2021
- A Game for Linear-time-Branching-time Spectroscopy TACAS 2021
- Game semantics for interface middleweight Java POPL 2014
- Game Characterizations of Process Equivalences APLAS 2008