We introduce a technique for using conventional predicate abstraction methods to reduce the state-space of models produced using game semantics.
An expressive procedural language that has both local store and local control is focused on, a language which enjoys a simple game-semantic model yet is ...
We introduce a technique for using conventional predicate abstraction methods to reduce the state-space of models produced using game semantics.
We introduce a technique for using conventional predicate abstraction methods to reduce the state-space of models produced using game semantics.
Abstract. We introduce a technique for using conventional predicate abstraction methods to reduce the state-space of models produced using game semantics.
Compositional Predicate Abstraction from Game Semantics. - DBLP
dblp.org › conf › tacas › BakewellG09
Jun 26, 2018 · Adam Bakewell, Dan R. Ghica: Compositional Predicate Abstraction from Game Semantics. TACAS 2009: 62-76. manage site settings.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev. Hosted as a part of SLEBOK on ...
Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification · Semantics 100% · Geometry 44% · Digital circuits 40%.
Compositional Predicate Abstraction from Game Semantics, Research Report CSR-08-10. Adam Bakewell, Dan Ghica · Computer Science.
Game-semantic predicate abstraction can be embedded in an abstraction-refinement cycle in a standard way, resulting in an improved version of our experimental ...