Search NASA⌕ Search
Home/Archive/NASA NTRS

NASA NTRS · 20240008984

Rigorous Floating-Point Round-Off Error Analysis with PRECiSA 4.0

Laura Titolo
View original source ↗Export metadata ↓

Abstract

The source did not provide an abstract. Follow the original record for more information.

Explore related subjects

Floating-pointStatic analysisPrototype tool

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Laura Titolo. Rigorous Floating-Point Round-Off Error Analysis with PRECiSA 4.0. https://ntrs.nasa.gov/citations/20240008984

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related reports

NASA NTRSDate not supplied

PRECiSA: a static analysis tool for floating-point programs

This presentation introduces PRECiSA, a static analysis framework for analyzing floating-point programs. PRECiSA computes round-off error bounds for a class of floating-point programs, and produces a formal proof certificate of the correctness of these bounds. PRECiSA also has the capability of generating C code which is instrumented to detect unstable branching conditions from a real-number algorithm specification.

Floating-point↗