NASA NTRS · 20220008765
PRECiSA: a static analysis tool for floating-point programs
Abstract
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.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Laura Titolo, Mariano Moscato, Marco A. Feliu, Cesar A. Munoz, Paolo Masci, Aaron Dutle. PRECiSA: a static analysis tool for floating-point programs. https://ntrs.nasa.gov/citations/20220008765
Cite the original work for its findings. Save a collection to share your selection of sources.