Compositional predicate abstraction from game semantics
A Bakewell, DR Ghica - International Conference on Tools and Algorithms …, 2009 - Springer
We introduce a technique for using conventional predicate abstraction methods to reduce
the state-space of models produced using game semantics. We focus on an expressive
procedural language that has both local store and local control, a language which enjoys a
simple game-semantic model yet is expressive enough to allow non-trivial examples. Our
compositional approach allows the verification of incomplete programs (eg libraries) and
offers the opportunity for new heuristics for improved efficiency. Game-semantic predicate …
the state-space of models produced using game semantics. We focus on an expressive
procedural language that has both local store and local control, a language which enjoys a
simple game-semantic model yet is expressive enough to allow non-trivial examples. Our
compositional approach allows the verification of incomplete programs (eg libraries) and
offers the opportunity for new heuristics for improved efficiency. Game-semantic predicate …
[CITATION][C] Compositional Predicate Abstraction from Game Semantics, Research Report CSR-08-10
A Bakewell, D Ghica - 2008 - research.birmingham.ac.uk
Compositional Predicate Abstraction from Game Semantics, Research Report CSR-08-10
— University of Birmingham … Compositional Predicate Abstraction from Game Semantics,
Research Report CSR-08-10 …
— University of Birmingham … Compositional Predicate Abstraction from Game Semantics,
Research Report CSR-08-10 …
Showing the best results for this search. See all results