, Multi-prover verification of floating-point programs 5 th intl. Joint Conference on Automated Reasoning, 2010.

, Johan Back On correct refinement of programs Journal of Computer and System Sciences, vol.23, pp.49-68, 1981.

S. Boldo and . Jean-christophe, Filliâtre Formal verification of FP programs 18 th IEEE int, symp. on comp. Arithmetic, pp.187-194, 2007.

P. Chapront, Christian Galivel Results of a safety software validation: SACEM Proceedings of the IFAC CCCT'89 symp. (Control, Computers

B. Dehbonei and F. Mejia, the railways signalling industry FME '94: Industrial Benefit of Formal Methods, vol.873, pp.26-34, 1994.

D. Delmas and J. Souyris, Astrée: from Research to Industry, th International Static Analysis Symposium, vol.14, pp.437-451, 1985.

G. Guiho, Claude Hennebert SACEM software validation Proceedings of the ICSE'90 (Intl. Conf. on Software Engineering

, David Monniaux The pitfalls of verifying, FP computations ACM Trans. on Programming Languages and Systems (TOPLAS, vol.30, 2008.

V. Souwiedel09]-jean-souryis, D. Wiels, and . Delmas, Hervé Delseny Formal verification of avionics software products Formal Methods, LNCS, vol.5850, 2009.