Pages that link to "Item:Q5898619"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5898619):
Displayed 7 items.
- Verification of heap manipulating programs with ordered data by extended forest automata (Q300414) (← links)
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Verification of multi-linked heaps (Q439948) (← links)
- Using refinement calculus techniques to prove linearizability (Q1941870) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis (Q3512505) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)