AdaCore GNAT Pro Software
Award Notice Posted
- Solicitation number
- FA813925P0012
- Agency
-
Air Force Sustainment Center
Air Force Materiel Command, Department of Defense
- Awarded
- to ADA Core Technologies, Inc.
- Set-aside
- No set-aside
Opportunity facts
- Contract number
- FA813925P0012 Federal contract award
- NAICS code
- 513210 Software Publishers
- Place of performance
- Oklahoma 73145, United States
Notice details come from SAM.gov. Updated .
About this opportunity
The Department of the Air Force Materiel Command Air Force Sustainment Center has awarded contract FA813925P0012 to AdaCore Technologies, Inc. for GNAT Pro Assurance Software licenses valued at $1,397,648. The contract, awarded on March 25, 2025, covers eight line items of software licenses for the 76th Software Engineering Group at Tinker Air Force Base, with a 30-day delivery timeframe. The procurement is specifically for critical software development tools essential to the Software Development Environment (SDE) and Systems Integration Lifecycle (SIL), with a procurement strategy that spans from an initial analysis begun in 2011 and projected to continue through 2029. The sole source justification was based on the proprietary nature of AdaCore's software and the lack of viable alternative sources confirmed through comprehensive market research across Department of Defense and NASA platforms.
Notice text
Awarded contract FA813925P0012 to ADA CORE TECHNOLOGIES, INC. for 1397648.00 on 2025-03-25.
Files
| File | Type | Posted |
|---|---|---|
| SSJ AdaCore_Redacted.pdf |
Notice history
| Notice | Type | Posted |
|---|---|---|
| This notice | Award Notice | |
| AdaCore GNAT Pro Software | Solicitation |
On GovTribe
Work this opportunity
- Track it in your pipeline
- Find teaming partners
- Similar opportunities
- Ask GovTribe AI about this opportunity