B. Botella, A. Gotlieb, and C. Michel, Symbolic execution of floating-point computations. Software Testing, Verification and Reliability, vol.16, pp.97-121, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00540299

N. Damouche, M. Martel, and A. Chapoutot, Improving the numerical accuracy of programs by automatic transformation, STTT, vol.19, issue.4, pp.427-448, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01373666

E. Darulova and V. Kuncak, Sound compilation of reals, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.235-248, 2014.

E. Darulova and V. Kuncak, Sound compilation of reals, p.14, 2014.

K. Ghorbal, E. Goubault, and S. Putot, A logical product approach to zonotope intersection, Computer Aided Verification, 22nd International Conference, CAV 2010, vol.6174, pp.212-226, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01660910

E. Goubault and S. Putot, Static analysis of numerical algorithms, Static Analysis, 13th International Symposium, vol.4134, pp.18-34, 2006.

J. R. Hauser, Handling floating-point exceptions in numeric programs, ACM Trans. Program. Lang. Syst, vol.18, issue.2, pp.139-174, 1996.

P. V. Hentenryck and L. Michel, The objective-cp optimization system, 19th International Conference on Principles and Practice of Constraint Programming, pp.8-29, 2013.

, IEEE: 754-2008-IEEE Standard for floating point arithmethic, 2008.

B. Marre and C. Michel, Improving the floating point addition and subtraction constraints, Proceedings of the 16th international conference on Principles and practice of constraint programming (CP'10), vol.6308, pp.6-10, 2010.

C. Michel, Exact projection functions for floating point number constraints, Seventh international symposium on Artificial Intelligence and Mathematics (7th ISAIM). Fort Lauderdale, 2002.

C. Michel, M. Rueher, and Y. Lebbah, Solving constraints over floating-point numbers, 7th International Conference on Principles and Practice of Constraint Programming, pp.524-538, 2001.

M. M. Moscato, L. Titolo, A. Dutle, and C. A. Muñoz, Automatic estimation of verified floating-point round-off errors via static analysis, Computer Safety, Reliability, and Security-36th International Conference, pp.213-229, 2017.

O. Ponsini, C. Michel, and M. Rueher, Verifying floating-point programs with constraint programming and abstract interpretation techniques, Automated Software Engineering, vol.23, issue.2, pp.191-217, 2016.
URL : https://hal.archives-ouvertes.fr/hal-00860681

S. Rump, Algorithms for verified inclusions: Theory and practice, Reliability in Computing: The Role of Interval Methods in Scientific Computing, pp.109-126, 1988.

P. H. Sterbenz, Floating Point Computation, 1974.

L. Titolo, M. A. Feliú, M. M. Moscato, and C. A. Muñoz, An abstract interpretation framework for the round-off error analysis of floating-point programs, Verification, Model Checking, and Abstract Interpretation-19th International Conference, pp.516-537, 2018.

H. Zitoun, C. Michel, M. Rueher, and L. Michel, Search strategies for floating point constraint systems, 23rd International Conference on Principles and Practice of Constraint Programming, pp.707-722, 2017.