A. Ayad and C. Marché, Multi-Prover Verification of Floating-Point Programs, LNCS, vol.6173, 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. Leino, Weakest-precondition of unstructured programs, Information Processing Letters, vol.93, issue.6, pp.281-288, 2005.

S. Boldo and J. 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. 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, Abstract interpretation based formal methods and future challenges Informatics -10 Years Back. 10 Years Ahead, Lecture Notes in Computer Science, pp.138-156, 2000.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

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

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, vol.5825, 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, pp.241-255, 2007.

F. De-dinechin, C. 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

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

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

A. Girard, Reachability of Uncertain Linear Systems Using Zonotopes, Lecture Notes in Computer Science, vol.3414, pp.291-305, 2005.
DOI : 10.1007/978-3-540-31954-2_19
URL : https://hal.archives-ouvertes.fr/hal-00307003

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, LNCS, vol.4134, pp.18-34, 2006.
DOI : 10.1007/11823230_3

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, LNCS, vol.1690, pp.113-130, 1999.
DOI : 10.1007/3-540-48256-3_9

P. Hentenryck, D. Mcallester, and D. Kapur, Solving Polynomial Systems Using a Branch and Prune Approach, SIAM Journal on Numerical Analysis, vol.34, issue.2, pp.797-827, 1997.
DOI : 10.1137/S0036142995281504

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, LNCS, vol.6308, pp.360-367, 2010.
DOI : 10.1007/978-3-642-15396-9_30

C. Michel, C. Michel, M. Rueher, and Y. Lebbah, Exact projection functions for floating-point number constraints Solving constraints over floating-point numbers, 7th International Symposium on Artificial Intelligence and Mathematics, pp.524-538, 2001.

M. Pelleau, A. Miné, C. Truchet, and F. Benhamou, A Constraint Solver Based on Abstract Domains, 14th International Conference on Verification, Model Checking, and Abstract Interpretation, pp.434-454, 2013.
DOI : 10.1007/978-3-642-35873-9_26
URL : https://hal.archives-ouvertes.fr/hal-00785604