Logical Interpretation: Static Program Analysis Using Theorem Proving
From MaRDI portal
Publication:3608771
DOI10.1007/978-3-540-73595-3_11zbMath1213.68210MaRDI 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
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Predicate abstraction in a program logic calculus, Abstract interpretation as automated deduction, Incremental Computation of Succinct Abstractions for Hybrid Systems, Invariant Checking for Programs with Procedure Calls, Abstract Interpretation as Automated Deduction, Predicate Abstraction in a Program Logic Calculus
Uses Software