Heap Assumptions on Demand

DOI10.1007/978-3-540-70545-1_31zbMath1155.68446OpenAlexW1956613073MaRDI QIDQ3512501

Andreas Podelski, Thomas Wies, Andrey Rybalchenko

Publication date: 15 July 2008

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70545-1_31

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Bottom-Up Shape Analysis

This page was built for publication: Heap Assumptions on Demand