Pages that link to "Item:Q5711489"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5711489):
Displaying 8 items.
- Verification of multi-linked heaps (Q439948) (← links)
- Programs with lists are counter automata (Q537953) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- Inference of Field-Sensitive Reachability and Cyclicity (Q2946745) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
- Abstracting Complex Data Structures by Hyperedge Replacement (Q3540389) (← links)
- Algorithmic Analysis of Array-Accessing Programs (Q3644742) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)
