Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships

DOI10.1007/978-3-642-03237-0_21MaRDI QIDQ3392932zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• An abstract domain to discover interval linear equalities
• Fast polyhedra abstract domain
• A class of polynomially solvable range constraints for interval analysis without widenings
• Generalizing the template polyhedral domain
• Inferring Min and Max Invariants Using Max-Plus Polyhedra

Cites work

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

Cited in

(23)

• Donut domains: efficient non-convex domains for abstract interpretation
• The octagon abstract domain for continuous constraints
• An abstract domain to infer symbolic ranges over nonnegative parameters
• Linear absolute value relation analysis
• Block-wise abstract interpretation by combining abstract domains with SMT
• Deciding floating-point logic with abstract conflict driven clause learning
• Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra
• An abstract domain to discover interval linear equalities
• Invertible linear transforms of numerical abstract domains
• Two variables per linear inequality as an abstract domain
• The two variable per inequality abstract domain
• A new abstraction framework for affine transformers
• Extending constraint-only representation of polyhedra with Boolean constraints
• Dynamic interval analysis by abstract interpretation
• Interprocedurally Analysing Linear Inequality Relations
• Cooperative query answering by abstract interpretation
• SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
• An efficient abstract domain for not necessarily closed polyhedra
• Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation
• Program Analysis Using Symbolic Ranges
• Generalizing the template polyhedral domain
• Inferring Min and Max Invariants Using Max-Plus Polyhedra
• Reachability computation for polynomial dynamical systems

Describes a project that uses

Uses Software

• GLPK
• Apron

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

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