Numerical Software with Result Verification
From MaRDI portal
Publication:5308361
DOI10.1007/b96498zbMath1126.65309OpenAlexW203078251MaRDI QIDQ5308361
Matthieu Martel, Eric Goubault, Sylvie Putot
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96498
Related Items (6)
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence ⋮ Semantics of roundoff error propagation in finite precision calculations ⋮ Stabilizing Floating-Point Programs Using Provenance Analysis ⋮ Polynomial function intervals for floating-point software verification ⋮ Static Analysis of Finite Precision Computations ⋮ Proving the Correctness of the Implementation of a Control-Command Algorithm
This page was built for publication: Numerical Software with Result Verification