Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5898616
DOI10.1007/11609773zbMath1176.68130OpenAlexW2496613029MaRDI QIDQ5898616
Viktor Kuncak, Andreas Podelski, Thomas Wies, Patrick P. Lam, Martin C. Rinard
Publication date: 12 February 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11609773
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items (5)
Automated verification of shape, size and bag properties via user-defined predicates in separation logic ⋮ Verification of multi-linked heaps ⋮ An Efficient Decision Procedure for Imperative Tree Data Structures ⋮ Using First-Order Theorem Provers in the Jahob Data Structure Verification System ⋮ Towards Complete Reasoning about Axiomatic Specifications
This page was built for publication: Verification, Model Checking, and Abstract Interpretation