Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships

DOI10.1007/978-3-642-03237-0_21zbMath1248.68140OpenAlexW2114052185MaRDI QIDQ3392932

Patrick Cousot, Antoine Miné, Ji Wang, Liqian Chen

Publication date: 18 August 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-03237-0_21

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

Donut Domains: Efficient Non-convex Domains for Abstract Interpretation ⋮ Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT ⋮ Deciding floating-point logic with abstract conflict driven clause learning ⋮ Linear Absolute Value Relation Analysis ⋮ Reachability computation for polynomial dynamical systems ⋮ Cooperative Query Answering by Abstract Interpretation ⋮ A new abstraction framework for affine transformers ⋮ The octagon abstract domain for continuous constraints

Uses Software

• Apron
• GLPK

Cites Work

• Unnamed Item
• The octagon abstract domain
• Optimal domains for disjunctive abstract interpretation
• Compatibility of approximate solution of linear equations with given error bounds for coefficients and right-hand sides
• Linear programming with interval coefficients
• A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis
• Inferring Min and Max Invariants Using Max-Plus Polyhedra
• SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
• Rigorous Lower and Upper Bounds in Linear Programming
• Static analysis of arithmetical congruences
• Systematic design of program transformation frameworks by abstract interpretation
• Programming Languages and Systems
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation
• Calculation of exact bounds for the solution set of linear interval systems

This page was built for publication: Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships