THE IDEA OF THIS PROJECT IS TO ADD A VERIFICATION FORMALISM ON ZELUS EITHER IN THE FORM OF DEPENDENT TYPES OR IN THE FORM OF DYNAMIC LOGIC TO PROVE PROPERTIES ABOUT ZELUS PROGRAMS. THESE TECHNIQUES WOULD BE APPLICABLE TO A LARGE BODY OF NASA-RELEVANT APPLICATIONS.
$165,000FY2020National Aeronautics and Space AdministrationNASA
Regents Of The University Of Michigan