Abstract execution

DOI10.1007/978-3-030-30942-8_20MaRDI QIDQ6535957zbMATH OpenFDO

Authors Dominic Steinhöfel, Reiner Hähnle

Publication date 14 March 2024

Full work available at URL https://doi.org/10.1007/978-3-030-30942-8_20

Mathematics Subject Classification ID

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

Recommendations

• Schematic program proofs with abstract execution. Theory and applications
• scientific article; zbMATH DE number 1903343
• Certified abstract cost analysis
• Abstract Interpretation of Symbolic Execution with Explicit State Updates
• A closer look at software refactoring using symbolic execution

Cites work

• A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows
• From program verification to program synthesis
• scientific article; zbMATH DE number 3469999 (Why is no real title available?)
• scientific article; zbMATH DE number 3291623 (Why is no real title available?)
• Proving Properties of Programs by Structural Induction
• Relational program reasoning using compiler IR
• Reuse in Software Verification by Abstract Method Calls
• Symbolic execution and program testing

Cited in

(2)

• Sound symbolic execution via abstract interpretation and its application to security
• Schematic program proofs with abstract execution. Theory and applications

This page was built for publication: Abstract execution

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