An Abstract Domain to Discover Interval Linear Equalities

DOI10.1007/978-3-642-11319-2_11zbMath1273.68081OpenAlexW1602616602MaRDI QIDQ3656879

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

Publication date: 14 January 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11319-2_11

Mathematics Subject Classification ID

General methods in interval analysis (65G40) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Numerical linear algebra (65F99)

Related Items (3)

An abstract domain to infer symbolic ranges over nonnegative parameters ⋮ Deciding floating-point logic with abstract conflict driven clause learning ⋮ Enforcing termination of interprocedural analysis

Uses Software

• Apron
• Octagon

This page was built for publication: An Abstract Domain to Discover Interval Linear Equalities