Boxes: A Symbolic Abstract Domain of Boxes

DOI10.1007/978-3-642-15769-1_18MaRDI QIDQ4930734zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Operational and denotational semantics for the box algebra
• A generalization of \(p\)-boxes to affine arithmetic
• Jumping Boxes
• scientific article; zbMATH DE number 6751533
• Heirs of box types in polynomially bounded structures
• A refined view of the box algebra
• scientific article; zbMATH DE number 6518595
• scientific article; zbMATH DE number 1262424
• Bivariate p-boxes
• scientific article; zbMATH DE number 1501606

Cited in

(14)

• Exploiting sparsity in difference-bound matrices
• Compositional reasoning for shared-variable concurrent programs
• A decision tree lifted domain for analyzing program families with numerical features
• Quadtrees as an abstract domain
• Donut domains: efficient non-convex domains for abstract interpretation
• Block-wise abstract interpretation by combining abstract domains with SMT
• BOXES
• Static Analysis in Disjunctive Numerical Domains
• scientific article; zbMATH DE number 1262424 (Why is no real title available?)
• Software verification with PDR: an implementation of the state of the art
• Sweeping in Abstract Interpretation
• scientific article; zbMATH DE number 6751533 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Volume-based merge heuristics for disjunctive numeric domains

Describes a project that uses

Uses Software

• PPL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4930734)