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

H. Collavizza, M. Rueher, and P. Van-hentenryck, CPBPV : A Constraint-Programming Framework for Bounded Program Verification, Proc. of CP2008, pp.327-341
URL : https://hal.archives-ouvertes.fr/hal-01099509

P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Mine et al., The ASTRE?? Analyzer, Lecture Notes in Computer Science, vol.3444, pp.21-30, 2005.
DOI : 10.1007/978-3-540-31987-0_3

V. D. Silva, D. Kroening, and G. Weissenbacher, A Survey of Automated Techniques for Formal Software Verification, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.27, issue.7, pp.1165-1178, 2008.
DOI : 10.1109/TCAD.2008.923410

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

A. Gotlieb, Euclide: A Constraint-Based Testing Framework for Critical C Programs, 2009 International Conference on Software Testing Verification and Validation, pp.151-160, 2009.
DOI : 10.1109/ICST.2009.10

E. Goubault, M. Martel, and S. Putot, Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter, European Symposium on Programming, p.2
DOI : 10.1007/3-540-45927-8_15

J. L. Lions, Ariane 5 flight 501 failure, Report by the Inquiry Board, p.19, 1996.

C. Michel, Exact projection functions for floating point number constraints, Proc. of 7th AIMA Symposium, Fort Lauderdale (US), 2002.

C. Michel, M. Rueher, and Y. Lebbah, Solving Constraints over Floating-Point Numbers, Lecture Notes in Computer Science, vol.2239, pp.524-538, 2001.
DOI : 10.1007/3-540-45578-7_36
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.816

A. Miné, Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors, Lecture Notes in Computer Science, vol.2986, pp.3-17, 2004.
DOI : 10.1007/978-3-540-24725-8_2

D. Washington, GAOflMTEC-92-26 Or Publisher : US General Accounting Office, GAO. Patriot Missile Defense : Software Problem Led to System Failure at Dhahran, Saudi Arabia, Report, vol.Number, 1992.