Logical Interpretation: Static Program Analysis Using Theorem Proving
From MaRDI portal
Publication:3608771
DOI10.1007/978-3-540-73595-3_11zbMath1213.68210OpenAlexW1503472559MaRDI QIDQ3608771
Sumit Gulwani, Ashish Kumar Tiwari
Publication date: 6 March 2009
Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73595-3_11
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Abstract interpretation as automated deduction ⋮ Incremental Computation of Succinct Abstractions for Hybrid Systems ⋮ Abstract Interpretation as Automated Deduction ⋮ Predicate abstraction in a program logic calculus ⋮ Predicate Abstraction in a Program Logic Calculus ⋮ Invariant Checking for Programs with Procedure Calls
Uses Software
This page was built for publication: Logical Interpretation: Static Program Analysis Using Theorem Proving
