1. Mapping Formal Methods to NASA Capability Needs Template Slides

2. Map Research to Technology Candidate New Technology Candidate Intermediate Milestones for Technology New Capability Description Data needed for Research

3. Map Research To Technology Candidate Capability Name Technology Candidate (existing or new) Research Program, project, or paper with reference Short Description How it contributes to capability Metric contribution (qualitative or quantitative) Needed follow-on work and time frame

4. Intermediate Milestones Capability Name End Goal and Time Frame Intermediate Milestone(s) – Description – Time Frame

5. New Technology Candidate Capability name Technology description State of the Art (metric) End Goal for achieving capability

6. New Capability Capability name and description Missions that are enabled or enhanced Rationale Time frame (date needed) State of the Art

7. Data Needed for Research Artifact description (architecture, software/system design, software code, test results, telemetry). Benefit of having NASA artifact versus surrogate.