2 search results - page 1 / 1 » Multi-Prover Verification of Floating-Point Programs |
166
Voted
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
145
Voted
ARITH
2007
IEEE
15 years 11 months ago
2007
IEEE