Partitioned Memory Models for Program Analysis

DOI10.1007/978-3-319-52234-0_29zbMath1484.68054OpenAlexW2563082156MaRDI QIDQ2961587

No author found.

Publication date: 21 February 2017

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

Full work available at URL: https://doi.org/10.1007/978-3-319-52234-0_29

Mathematics Subject Classification ID

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

Uses Software

• SMT-LIB
• Frama-C
• CBMC
• CCured
• SeaHorn
• SMACK

Cites Work

• Unnamed Item
• Back to the future
• Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
• CCured
• Heaps and Data Structures: A Challenge for Automated Provers
• Unifying type checking and property checking for low-level code
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Partitioned Memory Models for Program Analysis