NIA Test Site

Tag: Formal Method Technology

  • 02-15-2019 | Paolo Masci: Graphics Library for Rapid Prototyping

    —

    by

    domadmin
    in

    Title: Formal Methods Seminar:  A Graphics Library for Rapid Prototyping Interactive Cockpit Displays Speaker: Paolo Masci, Senior Research Scientist, NIA When: Friday, February 15, 2019 Time: 10:30AM Location: NASA/LaRC,  B1230-R264A Contact: Cesar Munoz, NASA/LaRC Abstract: This talk introduces a preliminary version of an open-source framework for rapid prototyping and analysis of interactive cockpit displays. A library of widgets is provided that…

  • 12-07-2018 | Rocco Salvia: Solving Mixed Real and Floating-Point Formulas

    —

    by

    domadmin
    in

    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 264A Host: Cesar A. Munoz, NASA/LaRC Abstract: Reasoning about mixed real and floating-point arithmetic is essential for modeling round-off errors and for developing accurate analysis tools for…

  • 05-03-2018 | Paolo Masci: Rapid Prototyping and Formal Analysis of Interactive Systems in PVSio-Web

    —

    by

    domadmin
    in

    Title: Rapid Prototyping and Formal Analysis of Interactive Systems in PVSio-Web Speaker: Paolo Masci, Post-Doc Researcher, HASLab of the INESC-TEC Research Center (Portugal) and Visiting Researcher, Food and Drug Administration Date: Thursday, May 3, 2018 Location: NIA, Room 137 Time: 10:00am- 11:00am Abstract: PVSio-web [1] is a toolkit for model-based design and analysis of safety-critical…