Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5898616
DOI10.1007/11609773zbMath1176.68130MaRDI 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
Related Items
An Efficient Decision Procedure for Imperative Tree Data Structures, Using First-Order Theorem Provers in the Jahob Data Structure Verification System, Automated verification of shape, size and bag properties via user-defined predicates in separation logic, Verification of multi-linked heaps, Towards Complete Reasoning about Axiomatic Specifications