%0 Conference Proceedings
%F CSTVA06
%A Blanc, B.
%A Bouquet, F.
%A Gotlieb, A.
%A Jeannet, B.
%A Jeron, T.
%A Legeard, B.
%A Marre, B.
%A Michel, C.
%A Rueher, M.
%T The {V3F} Project
%B Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA06), Nantes
%E Blanc, B.
%E Gotlieb, A.
%E Michel, C.
%X This paper describes the main results of the V3F project (which stands for Validation et Verification de Logiciels avec calculs à Virgule Flottante). The goal of this project was to provide tools to support the verification and validation process of programs with floating- point numbers. We did investigate two directions: structural testing of a program with floating-point numbers and verification of the confor- mity of a program handling floating-point numbers, with its specification. Practically, a constraint solver over the floats was developed for the gen- eration of test sets in structural testing framework. Different techniques have been developed to evaluate the distance between the semantics of a program over the real numbers and its semantics over the floating-point numbers
%U http://pop-art.inrialpes.fr/people/bjeannet/publications/cstva06.pdf
%D 2006