, 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.
Filliâtre Formal verification of FP programs 18 th IEEE int, symp. on comp. Arithmetic, pp.187-194, 2007. ,
, Christian Galivel Results of a safety software validation: SACEM Proceedings of the IFAC CCCT'89 symp. (Control, Computers
, the railways signalling industry FME '94: Industrial Benefit of Formal Methods, vol.873, pp.26-34, 1994.
Astrée: from Research to Industry, th International Static Analysis Symposium, vol.14, pp.437-451, 1985. ,
, 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.
Hervé Delseny Formal verification of avionics software products Formal Methods, LNCS, vol.5850, 2009. ,