NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
A Formal Verification Framework for PLEXIL: Status Report and Demonstration
Document ID
20210014297
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Marco A Feliu (National Institute of Aerospace Hampton, Virginia, United States)
Cesar Munoz (Langley Research Center Hampton, Virginia, United States)
Swee Balachandran (National Institute of Aerospace Hampton, Virginia, United States)
Date Acquired
April 22, 2021
Subject Category
Computer Programming And Software
Meeting Information
Meeting: SWS TechTalk
Location: Virtual
Country: US
Start Date: April 22, 2021
End Date: April 22, 2021
Sponsors: NASA's System Wide Safety
Funding Number(s)
WBS: 340428.02.20.07.01
Distribution Limits
Public
Copyright
Public Use Permitted.
Keywords
Plan Execution
Planning
Formal Verification
MAUDE
PLEXIL
Document Inquiry

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available