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 (1264 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.
Want the durability read on 80LARC23F0005? One Pursuit Analysis, $500, inside 48 business hours.
- 48 business hours
- $500
- Credits toward the Pack
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.
Want the durability read on 80LARC23F0005? One Pursuit Analysis, $500, inside 48 business hours.
One Pursuit Analysis is $500 and credits toward the Sprint Pack. Delivery is 48 business hours. Start with the free Exposure Check if you want the list first.
No card · under a minute · then the Sprint menu
Buy one Pursuit Analysis — $500Credits toward the Sprint Pack
Compare plansData: 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.