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…
Tag: Formal Methods Seminar
09-09-2016 | Ariane Alves Almeida: Automating Termination Proofs in PVS
Title: Formal Methods Seminar: “Automating Termination Proofs in PVS” Speaker: Ariane Alves Almeida, NIA visitor and PhD Candidate, University of Brasilia, Brazil Date: Friday, September 9, 2016 Time: 11:00am Location:…
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,…