Pages that link to "Item:Q4930734"
From MaRDI portal
The following pages link to Boxes: A Symbolic Abstract Domain of Boxes (Q4930734):
Displayed 8 items.
- BOXES (Q32990) (← links)
- Compositional reasoning for shared-variable concurrent programs (Q2024370) (← links)
- A decision tree lifted domain for analyzing program families with numerical features (Q2044175) (← links)
- Quadtrees as an Abstract Domain (Q2814109) (← links)
- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (Q2891416) (← links)
- Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT (Q2961574) (← links)
- Software Verification with PDR: An Implementation of the State of the Art (Q5039500) (← links)
- Sweeping in Abstract Interpretation (Q5170178) (← links)