Pages that link to "Item:Q3608771"
From MaRDI portal
The following pages link to Logical Interpretation: Static Program Analysis Using Theorem Proving (Q3608771):
Displaying 6 items.
- Predicate abstraction in a program logic calculus (Q549686) (← links)
- Abstract interpretation as automated deduction (Q2360874) (← links)
- Incremental Computation of Succinct Abstractions for Hybrid Systems (Q3172856) (← links)
- Invariant Checking for Programs with Procedure Calls (Q3392933) (← links)
- Abstract Interpretation as Automated Deduction (Q3454115) (← links)
- Predicate Abstraction in a Program Logic Calculus (Q3605465) (← links)
