Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables

DOI10.1007/978-3-642-15769-1_12zbMath1306.68001arXiv1004.0202OpenAlexW1839651919MaRDI QIDQ4930725

Alexandre Chapoutot

Publication date: 1 October 2010

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

Full work available at URL: https://arxiv.org/abs/1004.0202

Mathematics Subject Classification ID

Probabilistic models, generic numerical methods in probability and statistics (65C20) Mathematical problems of computer architecture (68M07) Numerical algorithms for computer arithmetic, etc. (65Y04)

Related Items (3)

Deciding floating-point logic with abstract conflict driven clause learning ⋮ Transformation of a PID controller for numerical accuracy ⋮ A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains

Uses Software

• Matlab
• ADIC
• Simulink
• Octagon

This page was built for publication: Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables