BOXES

swMATH21178MaRDI QIDQ32990FDOQ32990

Author name not available (Why is that?)

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

Described by source

• Boxes: A Symbolic Abstract Domain of Boxes

Cited In (7)

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

This page was built for software: BOXES