2 search results - page 1 / 1 » Multi-Prover Verification of Floating-Point Programs |
103
Voted
CADE
2010
Springer
14 years 10 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...
ARITH
2007
IEEE
15 years 3 months ago
2007
IEEE