%0 Conference Proceedings
%F V3F_CSTVA06
%A Blanc, B.
%A Bouquet, F.
%A Gotlieb, A.
%A Jeannet, B.
%A Jéron, 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 and verification of software handling float- ing-point numbers”). 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://www.irisa.fr/manifestations/2006/CSTVA06/images/proceedings-cstva.pdf
%D 2006