H. Brönnimann, G. Melquiond, and S. Pion, The Boost interval arithmetic library, Real Numbers and Computers, pp.65-80, 2003.

M. Daumas and G. Melquiond, Generating formally certified bounds on values and round-off errors, Real Numbers and Computers, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00070739

G. Dowek, A. Geser, and C. Muñoz, Tactical conflict detection and resolution in a 3-D airspace, Proceedings of the 4th USA, 2001.

D. Gage and J. Mccormick, We did nothing wrong, Baseline, vol.1, issue.28, pp.32-58, 2004.

T. Granlund, The GNU multiple precision arithmetic library, 2004.

J. Harrison, Floating point verification in HOL light: The exponential function, 1997.
DOI : 10.1007/BFb0000475

L. Jaulin, M. Kieffer, O. Didri, and E. Walter, Applied interval analysis, 2001.
DOI : 10.1007/978-1-4471-0249-6

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

R. B. Kearfott, The PVS library Interval described in this paper is available from http://research.nianet.org/?munoz/Interval Interval computations: Introduction, uses, and resources, Euromath Bulletin, vol.2, issue.1, pp.95-112, 1996.

D. E. Knuth, The Art of Computer Programming: Seminumerical Algorithms, 1997.

L. Lamport, How to Write a Proof, The American Mathematical Monthly, vol.102, issue.7, pp.600-608, 1993.
DOI : 10.2307/2974556

J. Lions, Ariane 5 flight 501 failure report by the inquiry board, 1996.

K. Makino and M. Berz, Taylor models and other validated functional inclusion methods, International Journal of Pure and Applied Mathematics, vol.4, issue.4, pp.379-456, 2003.

C. Muñoz, V. Carreño, G. Dowek, and R. Butler, Formal verification of conflict detection algorithms, International Journal on Software Tools for Technology Transfer (STTT), vol.4, issue.3, pp.371-380, 2003.
DOI : 10.1007/s10009-002-0084-3

A. Neumaier, Interval methods for systems of equations, 1990.
DOI : 10.1017/CBO9780511526473

S. Owre, J. M. Rushby, and N. Shankar, PVS: A prototype verification system, 11th International Conference on Automated Deduction (CADE), pp.748-752, 1992.
DOI : 10.1007/3-540-55602-8_217

N. Revol, K. Makino, and M. Berz, Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY, The Journal of Logic and Algebraic Programming, vol.64, issue.1, 2005.
DOI : 10.1016/j.jlap.2004.07.008

URL : https://hal.archives-ouvertes.fr/inria-00071850

T. Rivlin, Chebychev polynomials, 1990.

J. Sawada, Formal verification of divide and square root algorithms using series calculation, 3rd International Workshop on the ACL2 Theorem Prover and its Applications, pp.31-49, 2002.

A. Tiwari, N. Shankar, and J. Rushby, Invisible formal methods for embedded control systems, Proceedings of the IEEE, vol.91, issue.1, pp.29-39, 2003.
DOI : 10.1109/JPROC.2002.805818

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=