Compositional Predicate Abstraction from Game Semantics
No abstract available.
Related papers
- Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form CAV 1995
- Applying Game Semantics to Compositional Software Modeling and Verification TACAS 2004
- Layered and object-based game semantics POPL 2022
- Metis: A Compositional DSL for Board Games and Game Tree Search GPCE 2026
- A CLP Method for Compositional and Intermittent Predicate Abstraction VMCAI 2006
- How to Win First-Order Safety Games VMCAI 2020
- Compositional Analysis of Modular Logic Programs POPL 1993
- Data-Abstraction Refinement: A Game Semantic Approach SAS 2005