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

M. Barnett and K. R. Leino, Weakest-precondition of unstructured programs, Information Processing Letters, vol.93, issue.6, pp.281-288, 2005.

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

P. Codognet and G. Filé, Computations, abstractions and constraints in logic programs, Proceedings of the 1992 International Conference on Computer Languages, pp.155-164, 1992.
DOI : 10.1109/ICCL.1992.185478

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, 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

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

T. Denmat, A. Gotlieb, and M. Ducassé, An abstract interpretation based combinator for modeling while loops in constraint programming, Principles and Practices of Constraint Programming (CP'07). LNCS, pp.241-255, 2007.

F. De-dinechin, C. Q. Lauter, and G. Melquiond, Certifying the Floating-Point Implementation of an Elementary Function Using Gappa, IEEE Transactions on Computers, vol.60, issue.2, pp.242-253, 2011.
DOI : 10.1109/TC.2010.128
URL : https://hal.archives-ouvertes.fr/ensl-00200830

D. Silva, V. Haller, L. Kroening, D. Tautschnig, and M. , Numeric bounds analysis with conflict-driven learning, Proc. TACAS. Lecture Notes in Computer Science, pp.48-63, 2012.

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.7712

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

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, 7th 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

M. Pelleau, C. Truchet, and F. Benhamou, Octagonal Domains for Continuous Constraints, Principles and Practice of Constraint Programming (CP'11). LNCS, pp.706-720, 2011.
DOI : 10.1007/978-3-642-23786-7_53
URL : https://hal.archives-ouvertes.fr/hal-00785598

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