Acquisition Source
Ames Research Center
Document Type
Presentation
Date Acquired
August 11, 2023
Subject Category
Mathematical and Computer Sciences (General) Meeting Information
Meeting: Talk at the Illinois Theorem Provers Lab
Location: University of Illinois Urbana-Champaign
Country: US
Start Date: August 18, 2023
Sponsors: University of Illinois at Urbana Champaign
Funding Number(s)
CONTRACT_GRANT: 80ARC020D0010
Distribution Limits
Public
Copyright
Use by or on behalf of the US Gov. Permitted.
Technical Review
NASA Peer Committee
Keywords
temporal logicruntime monitoring