Formal Methods Seminar Title: PRECiSA: A Static Analysis Tool for Floating-Point Programs Speaker: Laura Titolo, Staff Scientist, NIA Date: Friday, November 2, 2018 Time: 10:30am Location: B1230, R264A Abstract: Floating-point numbers are the most common…
