Scalable Shape Analysis for Systems Code

From MaRDI portal
Publication:3512506

DOI10.1007/978-3-540-70545-1_36zbMath1155.68359OpenAlexW1508482211MaRDI QIDQ3512506

Cristiano Calcagno, Josh Berdine, Dino Distefano, Hongseok Yang, Oukseh Lee, Byron Cook, Peter W. O'Hearn

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_36



Related Items


Uses Software