Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs

DOI10.1007/978-3-319-09108-2_5zbMATH Open1423.68099OpenAlexW328536659MaRDI QIDQ3192224

Christina Jansen, Florian Göbe, Thomas Noll

Publication date: 26 September 2014

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09108-2_5

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A proof procedure for separation logic with inductive definitions and data ⋮ Juggrnaut: using graph grammars for abstracting unbounded heap structures

This page was built for publication: Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs

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