Sciweavers

2 search results - page 1 / 1
» Multi-Prover Verification of Floating-Point Programs
Sort
View
CADE
2010
Springer
13 years 4 months ago
Multi-Prover Verification of Floating-Point Programs
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
Ali Ayad, Claude Marché
ARITH
2007
IEEE
13 years 10 months ago
Formal Verification of Floating-Point Programs
Sylvie Boldo, Jean-Christophe Filliâtre