Boxes: A Symbolic Abstract Domain of Boxes

DOI10.1007/978-3-642-15769-1_18zbMath1306.68026OpenAlexW1572129784MaRDI QIDQ4930734

Arie Gurfinkel, Sagar Chaki

Publication date: 1 October 2010

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15769-1_18

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

Software Verification with PDR: An Implementation of the State of the Art ⋮ Donut Domains: Efficient Non-convex Domains for Abstract Interpretation ⋮ Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT ⋮ Sweeping in Abstract Interpretation ⋮ Compositional reasoning for shared-variable concurrent programs ⋮ A decision tree lifted domain for analyzing program families with numerical features ⋮ Quadtrees as an Abstract Domain ⋮ BOXES

Uses Software

• PPL

This page was built for publication: Boxes: A Symbolic Abstract Domain of Boxes