Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
J. Tanner Slagel (Langley Research Center Hampton, Virginia, United States) Mariano Moscato (National Institute for Aerospace Technology Madrid, Spain) Lauren White (Langley Research Center Hampton, Virginia, United States) Cesar Munoz (Langley Research Center Hampton, Virginia, United States) Swee Balachandran (National Institute of Aerospace Hampton, Virginia, United States) Aaron Dutle (Langley Research Center Hampton, Virginia, United States) Date Acquired
April 6, 2023
Subject Category
Mathematical and Computer Sciences (General) Meeting Information
Meeting: The 18th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA)
Location: Rome
Country: IT
Start Date: July 1, 2023
End Date: July 2, 2023
Sponsors: University of Rome Tor Vergata
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
Single Expert
Keywords
Formal VerificationPVSDifferential Dynamic LogicPlaidypvs