The following pages link to (Q4414398):
Displaying 7 items.
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness (Q845242) (← links)
- Fragment abstraction for concurrent shape analysis (Q2323989) (← links)
- Mind the Shapes: Abstraction Refinement Via Topology Invariants (Q3510783) (← 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)
- Towards Abstraction-Based Verification of Shape Calculus (Q5404093) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901903) (← links)