Abstraction of object graphs in program verification

DOI10.1007/978-3-642-13321-3_7MaRDI QIDQ3575267zbMATH OpenOpenAlexFDO

Authors Yi F. Chen, Jeff W. Sanders

Publication date 26 July 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13321-3_7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A shape graph logic and a shape system
• A logic of reachable patterns in linked data-structures
• Pointer logic for verification of pointer programs
• Automated verification of recursive programs with pointers
• Compositional Reasoning for Pointer Structures

Cited in

(7)

• Extended transitive separation logic
• Verifying object-based graph grammars
• Formal verification of object-oriented graph grammars specifications
• Transitive Separation Logic
• Compositional Reasoning for Pointer Structures
• scientific article; zbMATH DE number 1390329 (Why is no real title available?)
• Towards Abstraction-Based Verification of Shape Calculus

This page was built for publication: Abstraction of object graphs in program verification

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