BOXES

swMATH21178MaRDI QIDQ32990FDOQ32990

Author name not available (Why is that?)

Described by source

• Boxes: A Symbolic Abstract Domain of Boxes

Cited In (5)

• Donut Domains: Efficient Non-convex Domains for Abstract Interpretation
• Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT
• Quadtrees as an abstract domain
• Sweeping in Abstract Interpretation
• Software Verification with PDR: An Implementation of the State of the Art

This page was built for software: BOXES