Applying Game Semantics to Compositional Software Modeling and Verification
No abstract available.
Related papers
- Layered and object-based game semantics POPL 2022
- Compositional Predicate Abstraction from Game Semantics TACAS 2009
- Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form CAV 1995
- CompCertO: compiling certified open C components PLDI 2021
- Game semantics for quantum programming POPL 2019
- Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules POPL 2024
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- Verification of Higher-Order Computation: A Game-Semantic Approach ESOP 2008