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

M. Brain, D. Vijay, A. Silva, L. Griggio, D. Haller et al., Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL, Proc. of 20th Int. Symposium SAS, 2013.
DOI : 10.1007/978-3-642-38856-9_22

L. Chen, A. Miné, and P. Cousot, A Sound Floating-Point Polyhedra Abstract Domain, Proc. of APLAS '08, pp.3-18, 2008.
DOI : 10.1007/3-540-45013-0_7

URL : https://hal.archives-ouvertes.fr/hal-00531567

E. Clarke, D. Kroening, and F. Lerda, A Tool for Checking ANSI-C Programs, TACAS, pp.168-176, 2004.
DOI : 10.1007/978-3-540-24730-2_15

M. Héì-ene-collavizza, P. Rueher, and . Van-hentenryck, CPBPV: a constraint-programming framework for bounded program verification, Constraints, vol.404, issue.3, pp.238-264, 2010.
DOI : 10.1007/s10601-009-9089-9

D. Delmas, E. Goubault, S. Putot, J. Souyris, K. Tekkal et al., Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software, FMICS, pp.53-69, 2009.
DOI : 10.1007/978-3-642-04570-7_6

D. Vijay, L. Silva, D. Haller, M. Kroening, and . Tautschnig, Numeric bounds analysis with conflict-driven learning, Proc. TACAS, pp.48-63, 2012.

D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-48, 1991.
DOI : 10.1145/103162.103163

E. Goubault and S. Putot, Robustness Analysis of Finite Precision Implementations, Programming Languages and Systems -11th Asian Symposium, APLAS, pp.50-57, 2013.
DOI : 10.1007/978-3-319-03542-0_4

L. Granvilliers and F. Benhamou, Algorithm 852, ACM Transactions on Mathematical Software, vol.32, issue.1, pp.138-156, 2006.
DOI : 10.1145/1132973.1132980

URL : https://hal.archives-ouvertes.fr/hal-00480813

L. Haller, A. Griggio, M. Brain, and D. Kroening, Deciding floating-point logic with systematic abstraction, Formal Methods in Computer- Aided Design, FMCAD, pp.131-140, 2012.

B. Marre and C. Michel, Improving the Floating Point Addition and Subtraction Constraints, CP, pp.360-367, 2010.
DOI : 10.1007/978-3-642-15396-9_30

C. Michel, Exact projection functions for floating-point number constraints, 7th International Symposium on Artificial Intelligence and Mathematics, 2002.

C. Michel, M. Rueher, and Y. Lebbah, Solving Constraints over Floating-Point Numbers, Proc.of CP 2001, pp.524-538, 2001.
DOI : 10.1007/3-540-45578-7_36

URL : http://www.essi.fr/~rueher/HomePage/cspf1.ps

O. Ponsini, C. Michel, and M. Rueher, Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques, 18th International Conference on Principles and Practice of Constraint Programming, pp.593-607, 2012.
DOI : 10.1007/978-3-642-33558-7_43

URL : https://hal.archives-ouvertes.fr/hal-01099512

O. Ponsini, C. Michel, and M. Rueher, Verifying floating-point programs with constraint programming and abstract interpretation techniques, Automated Software Engineering, vol.34, issue.1, pp.191-217, 2016.
DOI : 10.1007/978-3-642-35873-9_26

URL : https://hal.archives-ouvertes.fr/hal-00860681