Data-Abstraction Refinement: A Game Semantic Approach
No abstract available.
Related papers
- A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement CAV 2003
- Game semantics for quantum programming POPL 2019
- Layered and object-based game semantics POPL 2022
- Bayesian strategies: probabilistic programs as generalised graphical models ESOP 2021
- Complete trace models of state and control ESOP 2021
- Compositional Predicate Abstraction from Game Semantics TACAS 2009
- CompCertO: compiling certified open C components PLDI 2021
- CESAR: Control Envelope Synthesis via Angelic Refinements TACAS 2024