Tag: Rocco Salvia

12-07-2018 | Rocco Salvia: Solving Mixed Real and Floating-Point Formulas

Dec 7, 2018

—

by

domadmin

in Seminars

Title: Formal Methods Seminar: Solving Mixed Real and Floating-Point Formulas Speaker: Rocco Salvia (University of Utah, PhD Student), NIA Visitor Date: Friday, December 7, 2018 Time: 10:30am – 12:00pm Location: NASA/LaRC, Bldg. 1230, Room 264A Host: Cesar A. Munoz, NASA/LaRC Abstract: Reasoning about mixed real and floating-point arithmetic is essential for modeling round-off errors and for developing accurate analysis tools for…