A. Ayad and C. Marché, Multi-Prover Verification of Floating-Point Programs, IJCAR. LNCS, pp.127-141, 2010.
DOI : 10.1007/978-3-642-14203-1_11
URL : https://hal.archives-ouvertes.fr/inria-00534333

S. Boldo and J. C. Filliâtre, Formal Verification of Floating-Point Programs, 18th IEEE Symposium on Computer Arithmetic (ARITH '07), pp.187-194, 2007.
DOI : 10.1109/ARITH.2007.20
URL : https://hal.archives-ouvertes.fr/hal-01174892

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

A. Brillout, D. Kroening, and T. Wahl, Mixed abstractions for floating-point arithmetic, 2009 Formal Methods in Computer-Aided Design, pp.69-76, 2009.
DOI : 10.1109/FMCAD.2009.5351141

H. Collavizza, M. Rueher, and P. V. 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
URL : https://hal.archives-ouvertes.fr/hal-01099509

P. Cousot and R. Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, pp.269-282, 1979.
DOI : 10.1145/567752.567778

P. Cousot, R. Cousot, J. Feret, A. Miné, L. Mauborgne et al., Varieties of Static Analyzers: A Comparison with ASTREE, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), pp.3-20, 2007.
DOI : 10.1109/TASE.2007.55
URL : https://hal.archives-ouvertes.fr/hal-00154031

R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991.
DOI : 10.1145/115372.115320

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

F. De-dinechin, C. Q. Lauter, and G. Melquiond, Assisted verification of elementary functions using Gappa, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1318-1322, 2006.
DOI : 10.1145/1141277.1141584

K. Ghorbal, E. Goubault, and S. Putot, A Logical Product Approach to Zonotope Intersection, CAV. LNCS, pp.212-226, 2010.
DOI : 10.1007/978-3-642-14295-6_22

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, Static Analysis of Numerical Algorithms, SAS. LNCS, pp.18-34, 2006.
DOI : 10.1007/11823230_3

E. Goubault and S. Putot, Static Analysis of Finite Precision Computations, VM- CAI. LNCS, pp.232-247, 2011.
DOI : 10.1007/978-3-540-24738-8_18

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

J. Harrison, A Machine-Checked Theory of Floating Point Arithmetic, TPHOLs. LNCS, pp.113-130, 1999.
DOI : 10.1007/3-540-48256-3_9

Y. Lebbah, C. Michel, and M. Rueher, A Rigorous Global Filtering Algorithm for Quadratic Constraints*, Constraints, vol.7, issue.1, pp.47-65, 2005.
DOI : 10.1007/s10601-004-5307-7

O. Lhomme, Consistency techniques for numeric CSPs, 13th International Joint Conference on Artificial Intelligence, pp.232-238, 1993.

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

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

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

D. Monniaux, The pitfalls of verifying floating-point computations, ACM Transactions on Programming Languages and Systems, vol.30, issue.3, pp.1-1241, 2008.
DOI : 10.1145/1353445.1353446
URL : https://hal.archives-ouvertes.fr/hal-00128124

S. M. Rump, Verification methods, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC '10, pp.287-449, 2010.
DOI : 10.1145/1837934.1837937

G. The and . Team, GNU Scientific Library Reference Manual, 1.14 edn, 2010.