BOXES

MaRDI QIDQ32990swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1882112

Described by source

• Boxes: A Symbolic Abstract Domain of Boxes

Cited in

(7)

• Block-wise abstract interpretation by combining abstract domains with SMT
• Quadtrees as an abstract domain
• Software verification with PDR: an implementation of the state of the art
• Sweeping in Abstract Interpretation
• Donut domains: efficient non-convex domains for abstract interpretation
• PAGAI
• Octagon

This page was built for software: BOXES