Title: Formal Methods Seminar: Formal Verification of ACAS X, an Industrial Airborne Collision Avoidance System Speaker: Jean-Baptiste Jeannin, Assistant Professor, University of Michigan – Ann Arbor Date: Wednesday, November 7, 2018 Time: 1:00PM…
Tag: Formal Methods Seminar
11-02-2018 | Laura Titolo: PRECiSA A Static Analysis Tool for Floating-Point Programs
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…
10-19-2018 | Marco Feliu: Eliminating Unstable Tests in Floating-Point Programs
Title: Formal Methods Seminar: Eliminating Unstable Tests in Floating-Point Programs Speaker: Marco Feliu, Staff Scientist, NIA Date: Friday, October 19, 2018 Time: 10:30am Location: B1230, R264A Abstract: Round-off errors arising from the difference between real…