Symbolic memory with pointers

DOI10.1007/978-3-319-11936-6_27MaRDI QIDQ3457810zbMATH OpenOpenAlexFDO

Authors Marek Trtík, Jan Strejček

Publication date 17 December 2015

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-11936-6_27

Mathematics Subject Classification ID

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

Recommendations

• Symbolic execution formally explained
• Symbolic execution as DPLL modulo theories
• scientific article; zbMATH DE number 1973975
• Exact heap summaries for symbolic execution
• Concrete memory models for shape analysis

Cited in

(5)

• Symbolic execution formally explained
• Predicate extension of symbolic memory graphs for the analysis of memory safety correctness
• Exact heap summaries for symbolic execution
• scientific article; zbMATH DE number 1973975 (Why is no real title available?)
• On the nature of symbolic execution

Describes a project that uses

Uses Software

• CUTE
• z3
• KLEE
• Pex
• Bugst

This page was built for publication: Symbolic memory with pointers

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