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: 2018 Seminars
All 2018 Seminars
12-07-2018 | Rocco Salvia: Solving Mixed Real and Floating-Point Formulas
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…
11-30-2018 | Frank Dedden: Monitoring UAV Flights with Copilot
Title: “Monitoring UAV flights with Copilot” Presenter: Frank Dedden, NIA Visitor (Utrecht University) Date: Friday, November 30, 2018 Time: 11AM-Noon Location: NASA/LaRC/ Building 1230, Room 264A Sponsor: Alwyn Goodloe, NASA/LaRC Abstract: Ultra-critical systems require high level…