International audiencePrograms with floating-point computations are often derived from mathematical models or designed with the semantics of the real numbers in mind. However, for a given input, the computed path with floating-point numbers may dif-fer from the path corresponding to the same computation with real numbers. State-of-the-art tools compute an over-approximation of the error introduced by floating-point oper-ations with respect to the same sequence of operations in an idealized semantics of real numbers. Thus, totally inappropri-ate behaviors of a program may be dreaded but the developer does not know whether these behaviors will actually occur, or not. We introduce here a new constraint-based approach that searches for input va...
Abstract. Floating-point arithmetic differs from real arithmetic, which makes programming with float...
Floating-point computations are quickly finding their way in the design of safety- and mission-criti...
It is well-known that using floating-point numbers may inevitably result in inaccurate results and s...
Programs with floating-point computations are often derived from mathematical models or designed wit...
International audiencePrograms with floating-point computations are often derived from mathematical ...
International audiencePrograms with floating-point computations are often derived from mathematical ...
Part 4: Short ContributionsInternational audiencePrograms with floating-point computations are often...
Floating-point numbers are used in many applications to perform computations, often without the user...
Abstract. Programs with floating-point computations are tricky to de-velop because floating-point ar...
Floating-point computations are quickly finding their way in the design of safety- and mission-crit...
The verification of programs with floating-point numbers computation is an important issue in the de...
Les nombres à virgule flottante sont utilisés dans de nombreuses applications pour effectuer des cal...
dissertationVirtually all real-valued computations are carried out using floating-point data types a...
Floating-point computations are quickly finding their way in the design of safety- and mission-criti...
International audienceThe most well-known feature of floating-point arithmetic is the limited precis...
Abstract. Floating-point arithmetic differs from real arithmetic, which makes programming with float...
Floating-point computations are quickly finding their way in the design of safety- and mission-criti...
It is well-known that using floating-point numbers may inevitably result in inaccurate results and s...
Programs with floating-point computations are often derived from mathematical models or designed wit...
International audiencePrograms with floating-point computations are often derived from mathematical ...
International audiencePrograms with floating-point computations are often derived from mathematical ...
Part 4: Short ContributionsInternational audiencePrograms with floating-point computations are often...
Floating-point numbers are used in many applications to perform computations, often without the user...
Abstract. Programs with floating-point computations are tricky to de-velop because floating-point ar...
Floating-point computations are quickly finding their way in the design of safety- and mission-crit...
The verification of programs with floating-point numbers computation is an important issue in the de...
Les nombres à virgule flottante sont utilisés dans de nombreuses applications pour effectuer des cal...
dissertationVirtually all real-valued computations are carried out using floating-point data types a...
Floating-point computations are quickly finding their way in the design of safety- and mission-criti...
International audienceThe most well-known feature of floating-point arithmetic is the limited precis...
Abstract. Floating-point arithmetic differs from real arithmetic, which makes programming with float...
Floating-point computations are quickly finding their way in the design of safety- and mission-criti...
It is well-known that using floating-point numbers may inevitably result in inaccurate results and s...