Search NASA⌕ Search
Home/Archive/NASA NTRS

NASA NTRS · 20220009909

VSCode-PRECiSA: a Toolkit for Floating-Point Round-Off Error Analysis

Paolo Masci·Laura Titolo·Mariano Moscato·Marco A. Feliu·Aaron Dutle
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 Analysis

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Paolo Masci, Laura Titolo, Mariano Moscato, Marco A. Feliu, Aaron Dutle. VSCode-PRECiSA: a Toolkit for Floating-Point Round-Off Error Analysis. https://ntrs.nasa.gov/citations/20220009909

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↗