Arithmetic Strengthening for Shape Analysis

DOI10.1007/978-3-540-74061-2_26zbMath1211.68094OpenAlexW2153144732MaRDI QIDQ3612011

Josh Berdine, Stephen Magill, Byron Cook, Edmund M. Clarke

Publication date: 3 March 2009

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74061-2_26

Mathematics Subject Classification ID

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

Related Items (6)

A generic framework for heap and value analyses of object-oriented programming languages ⋮ On the almighty wand ⋮ Temporal property verification as a program analysis task ⋮ On the Almighty Wand ⋮ Proving termination of nonlinear command sequences ⋮ Quantitative separation logic and programs with lists

This page was built for publication: Arithmetic Strengthening for Shape Analysis