Pages that link to "Item:Q5711489"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5711489):
Displaying 19 items.
- Verification of multi-linked heaps (Q439948) (← links)
- Programs with lists are counter automata (Q537953) (← links)
- Fragment abstraction for concurrent shape analysis (Q2323989) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- Inference of Field-Sensitive Reachability and Cyclicity (Q2946745) (← links)
- Relational inductive shape analysis (Q3189844) (← links)
- Mind the Shapes: Abstraction Refinement Via Topology Invariants (Q3510783) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
- Abstracting Complex Data Structures by Hyperedge Replacement (Q3540389) (← links)
- Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding (Q3613387) (← links)
- Algorithmic Analysis of Array-Accessing Programs (Q3644742) (← links)
- Shape Analysis in the Absence of Pointers and Structure (Q3656888) (← links)
- Understanding as an interpretation in a shape understanding system (Q4467047) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308432) (← links)
- Towards Abstraction-Based Verification of Shape Calculus (Q5404093) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)
- Static Analysis (Q5466566) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711490) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901903) (← links)
