Partitioned memory models for program analysis
From MaRDI portal
Publication:2961587
Recommendations
Cites work
- scientific article; zbMATH DE number 3410595 (Why is no real title available?)
- Back to the future, revisiting precise program verification using SMT solvers
- CCured, type-safe retrofitting of legacy code
- Heaps and Data Structures: A Challenge for Automated Provers
- Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
- Tools and Algorithms for the Construction and Analysis of Systems
- Unifying type checking and property checking for low-level code
Cited in
(3)
This page was built for publication: Partitioned memory models for program analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2961587)