Tag: Mariano Moscato
-
01-20-2017 | Laura Titolo and Mariano Moscato: A Static Analysis Framework for the Estimation of Verified Floating-Point Round-Off Errors
Title: FM Seminar: A Static Analysis Framework for the Estimation of Verified Floating-Point Round-Off Errors Date: Friday, January 20, 2017 Speakers: Laura Titolo, NIA and Mariano Moscato, NIA Location: NASA B1220-R110 Time: 10:30AM-11:30AM Host: Cesar Munzo, NASA/LaRC Abstract: Round-off errors in floating-point computations can lead to catastrophic consequences when occurring in safety-critical systems. In this talk,…
-
09-26-2014 | Mariano Moscato: Dynamite: A Tool for the Verification of Alloy Models Based on PVS
Formal Methods Seminar: DYNAMITE: A TOOL FOR THE VERIFICATION OF ALLOY MODELS BASED ON PVS Mariano Moscato, Postdoctoral Research Scholar, NIA September 26, 2014, 11:00 am, NASA Langley, Bldg 1220, Rm 110 Host: Cesar Munoz (NASA Langley) Abstract: Formal analysis of software models can be undertaken following two approaches: the lightweight and the heavyweight. The…