Exploiting Binary Floating-Point Representations for Constraint Propagation

DOI10.1287/ijoc.2015.0663zbMath1357.68010arXiv1308.3847OpenAlexW1797291051MaRDI QIDQ2806863

Matthieu Carlier, Roberto Bagnara, Arnaud Gotlieb, Roberta Gori

Publication date: 19 May 2016

Published in: INFORMS Journal on Computing (Search for Journal in Brave)

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

zbMATH Keywords

testingsoftware verificationconstraint solvingfloating-point numbers

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07) Reliability, testing and fault tolerance of networks and computer systems (68M15) Numerical algorithms for computer arithmetic, etc. (65Y04)

Related Items (3)

Correct approximation of IEEE 754 floating-point arithmetic for program verification ⋮ Finding normal binary floating-point factors efficiently ⋮ Exploiting Binary Floating-Point Representations for Constraint Propagation

Uses Software

• ICOS
• RealPaver
• GATeL
• DART
• CBMC
• FloPSy
• AUSTIN

Cites Work

• Unnamed Item
• Unnamed Item
• Contractor programming
• Exploiting Binary Floating-Point Representations for Constraint Propagation
• Numeric Bounds Analysis with Conflict-Driven Learning
• ICOS: a branch and bound based solver for rigorous global optimization
• Standardization and Testing of Mathematical Functions
• An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming
• Algorithm 852
• Theoretical Analysis of Local Search in Software Testing
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Exploiting Binary Floating-Point Representations for Constraint Propagation