Compositional Predicate Abstraction from Game Semantics

DOI10.1007/978-3-642-00768-2_8MaRDI QIDQ3617753zbMATH OpenOpenAlexFDO

Authors Adam Bakewell, Dan R. Ghica

Publication date 31 March 2009

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00768-2_8

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of game theory (91A80)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 1617325
• Synchronous game semantics via round abstraction
• Game-Based Probabilistic Predicate Abstraction in PRISM
• Tools and Algorithms for the Construction and Analysis of Systems

Cites work

• A game semantics of names and pointers
• Full abstraction for PCF
• scientific article; zbMATH DE number 3748394 (Why is no real title available?)
• scientific article; zbMATH DE number 1231510 (Why is no real title available?)
• scientific article; zbMATH DE number 2102703 (Why is no real title available?)
• On full abstraction for PCF: I, II and III
• On-the-Fly Techniques for Game-Based Software Model Checking
• Predicate abstraction with minimum predicates
• Static Analysis
• The regular-language semantics of second-order idealized ALGOL
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(7)

• Verifying annotated program families using symbolic game semantics
• Latent semantic analysis of game models using LSTM
• scientific article; zbMATH DE number 1617325 (Why is no real title available?)
• Program verification using symbolic game semantics
• Tools and Algorithms for the Construction and Analysis of Systems
• Game-Based Probabilistic Predicate Abstraction in PRISM
• Tools and Algorithms for the Construction and Analysis of Systems

Describes a project that uses

Uses Software

• BLAST

This page was built for publication: Compositional Predicate Abstraction from Game Semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3617753)