Contract facts
FederalNo full NAICS 541712 intel page yet. Browse NAICS intelligence
COPILOT CODE GENERATION ASSURANCE. APPLY STATE-OF-THE-ART TECHNIQUES IN FORMAL METHODS, PROGRAMMING LANGUAGES, SOFTWARE ENGINEERING, AND DIGITAL DESIGN TO ENHANCE THE COPILOT RUNITIME VERIFICATION FRAMEWORK. is a federal award for Nasa Langley Research Center held by Analytical Mechanics Associates, Inc. Estimated value $381K ($174K obligated). Current period of performance ends Apr 16, 2023. Place of performance: HAMPTON VA.
COPILOT CODE GENERATION ASSURANCE. APPLY STATE-OF-THE-ART TECHNIQUES IN FORMAL METHODS, PROGRAMMING LANGUAGES, SOFTWARE ENGINEERING, AND DIGITAL DESIGN TO ENHANCE THE COPILOT RUNITIME VERIFICATION FRAMEWORK.
Recompete timing
PublicCurrent PoP ended Apr 16, 2023 (1223 days ago). The usual 12–18 month agency planning window is closed — recompete action looks late / overdue relative to a normal cycle. Watch for bridge orders, follow-ons, or a new solicitation.
Incumbent footprint
Public recordAnalytical Mechanics Associates, Inc — $432.7M obligated across 36 awards (firm-wide, all agencies) · lead buyer National Aeronautics and Space Administration (NASA).
Related awards
Same parent · incumbentQuery this award live in SCOUT via MCP — personalized scoring, watchlists, and capture workflow across the corpus. Learn about SCOUT MCP →
Frequently asked questions
What is contract 80LARC23F0005?
80LARC23F0005 (Copilot CODE generation assurance. APPLY) is a Nasa Langley Research Center award with a potential value of $381K, currently held by Analytical Mechanics Associates, Inc. Figures are USASpending-sourced public-record facts plus SCOUT recompete analysis.
What is 80LARC-23-F-0005?
80LARC-23-F-0005 is the dashed form of PIID 80LARC23F0005 (Copilot CODE generation assurance. APPLY), held by Analytical Mechanics Associates, Inc. Same award — SCOUT canonicalizes compact, dashed, and parent-child identifiers to one brief.
Which office awarded 80LARC23F0005?
Nasa Langley Research Center awarded 80LARC23F0005 to Analytical Mechanics Associates, Inc (potential $381K).
Who is the incumbent on 80LARC23F0005?
Analytical Mechanics Associates, Inc is the incumbent with $432.7M across 36 related awards in SCOUT’s public footprint. The current period of performance ends Apr 16, 2023.
When does Analytical Mechanics Associates, Inc’s 80LARC23F0005 come up for recompete?
SCOUT tracks a period-of-performance end of Apr 16, 2023. Actual solicitation timing can shift with extensions, bridges, or consolidations.
Data: Showing contracts ≥ $100K from federal procurement records (FPDS-NG, SAM.gov, and related repositories), normalized by PrimeRFP SCOUT. Each row keyed by Award ID (PIID); task orders appear as independent rows.