Automated Verification of Recursive Programs with Pointers

DOI10.1007/978-3-642-31365-3_14zbMath1358.68200OpenAlexW1480874032MaRDI QIDQ2908486

Marcello M. Bonsangue, Jurriaan Rot, Frank S. de Boer

Publication date: 5 September 2012

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_14

Mathematics Subject Classification ID

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

This page was built for publication: Automated Verification of Recursive Programs with Pointers