D. M. Russinoff, Abstract, LMS Journal of Computation and Mathematics, vol.11, pp.148-200, 1998.
DOI : 10.1112/S1461157000000176

J. Harrison, Formal Verification of Floating Point Trigonometric Functions, Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, pp.217-233, 2000.
DOI : 10.1007/3-540-40922-X_14

S. Boldo and M. Daumas, Representable correcting terms for possibly underflowing floating point operations, 16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings., pp.79-86, 2003.
DOI : 10.1109/ARITH.2003.1207663

J. Hurd, Formal verification of probabilistic algorithms, Thèse doctorat, 2002.

M. Kaufmann, P. Manolios, and J. S. Moore, Computer-Aided Reasoning : An Approach, 2000.

M. J. Gordon and T. F. Melham, Introduction to HOL : A theorem proving environment for higher order logic, 1993.

G. Huet, G. Kahn, and C. Paulin-mohring, The Coq proof assistant : a tutorial : version 8, 2004.

M. Daumas and D. Lester, Stochastic Formal Methods: An Application to Accuracy of Numeric Software, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07), p.7, 2007.
DOI : 10.1109/HICSS.2007.499
URL : https://hal.archives-ouvertes.fr/hal-00081413

M. Daumas, D. Lester, ´. E. Martin-dorel, and A. Truffert, « Stochastic formal methods for hybrid systems, 2008.

S. K. Berberian, Fundamentals of Real Analysis, 1999.
DOI : 10.1007/978-1-4612-0549-4

M. Martel, Semantics of roundoff error propagation in finite precision calculations, Higher- Order and Symbolic Computation, pp.7-30, 2006.
DOI : 10.1007/s10990-006-8608-2

W. Hoeffding, Probability Inequalities for Sums of Bounded Random Variables, Journal of the American Statistical Association, vol.1, issue.301, pp.13-30, 1963.
DOI : 10.1214/aoms/1177730491

D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-47, 1991.
DOI : 10.1145/103162.103163

D. Stevenson, « An American national standard : IEEE standard for binary floating point arithmetic, ACM SIGPLAN Notices, vol.22, issue.2, pp.9-25, 1987.

A. Feldstein and R. Goodman, Convergence Estimates for the Distribution of Trailing Digits, Journal of the ACM, vol.23, issue.2, pp.287-297, 1976.
DOI : 10.1145/321941.321948

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

Z. W. Birnbaum, Numerical Tabulation of the Distribution of Kolmogorov's Statistic for Finite Sample Size, Journal of the American Statistical Association, vol.21, issue.48, pp.425-441, 1952.
DOI : 10.1080/01621459.1951.10500769

«. Schlumberger, Schlumberger leads the way in smart card security with common criteria EAL7 security methodology, Press Releases, 2003.

R. Collins, Collins receives MILS certification from NSA on microprocessor, Press Releases, 2005.