The following pages link to BOXES (Q32990):
Displaying 5 items.
- 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)