Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
J. Tanner Slagel (Langley Research Center Hampton, Virginia, United States) César Muñoz (Langley Research Center Hampton, Virginia, United States) Swee Balachandran (National Institute of Aerospace Hampton, Virginia, United States) Mariano Moscato (National Institute for Aerospace Technology Madrid, Spain) Aaron Dutle (Langley Research Center Hampton, Virginia, United States) Paolo Masci (National Institute of Aerospace Hampton, Virginia, United States) Lauren White (Langley Research Center Hampton, Virginia, United States) Date Acquired
June 8, 2022
Subject Category
Mathematical And Computer Sciences (General) Meeting Information
Meeting: SOAP 2022: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Location: San Diego, CA
Country: US
Start Date: June 14, 2022
Sponsors: Programming Language Design and Implementation
Distribution Limits
Public
Copyright
Use by or on behalf of the US Gov. Permitted.
Technical Review
NASA Peer Committee
Keywords
Differential Dynamic LogicPrototype Verification SystemFormal VerificationFormal MethodsHybrid SystemsHybrid Programs