Ada Core Software
Dept of Defense · DEPT OF THE AIR FORCE
This notice is not accepting responses (deadline was Apr 21, 2026, 2:00 PM EDT).
Page kept for research and related open opportunities below. For current work in this category, use the related notices or browse hubs.
- Response deadline
- Apr 21, 2026, 2:00 PM EDT
- Posted
- Apr 14, 2026
- Solicitation
- F4FBQQ6079A001
- Set-aside
- No Set aside used
- Place of performance
- Wright Patterson AFB, OH, USA
- Contracting office
- AIR FORCE RESEARCH LABORATORY
- Source
- SAM.gov · updated Jul 5, 2026
Description
The Government has a requirement for a Sole Source purchase from AdaCore Technology, Software license and support for one calendar year of GNAT Pro, GNAT DAS and SPARK Pro, a code verification software specific to one manufacturer. The need for rigorously or formally verified complex autonomy software has been emphasized in a number of strategic planning documents produced by the USAF and DoD, including "Technology Horizons," "Autonomous Horizons: The Way Forward," and the "DoD Digital Engineering Strategy." AFRL/RQQA performs R&D of autonomy-related software for unmanned aerial vehicles. To meet the needs of the USAF, we need tools to formally verify this software. AdaCore is the sole source of GNAT Pro Enterprise, GNAT Dynamic Analysis Suite (DAS), and SPARK Pro. GNAT Pro Enterprise is a complete development environment for producing critical software systems built in Ada/SPARK, C, and C++ and enables use of SPARK Pro. GNAT DAS is a comprehensive testing solution for software that integrates automated unit testing, fuzzing, and code coverage. SPARK Pro is a collection of tools that perform formal verification of code written in the SPARK subset of Ada.
What similar awards have paid
Real federal awards already on the books in a similar lane — so you can size the opportunity, not guess. This is public history, not a bid price, cost estimate, or prediction that you will win.
Typical award size
$38,120
Middle of the pack for similar past awards
Most similar awards fall between $16,227 and $102,892
Who has won work like this
Public awardees in this lane — useful for competitor scan or teaming ideas, not a ranked list of “best” firms.
- 1DELL FEDERAL SYSTEMS L.P15 awards$33.68M
- 2ACCENTURE FEDERAL SERVICES LLC1 award$10.82M
- 3SOFTWARE INFORMATION RESOURCE CORP.19 awards$10.34M
- 4HEXORDIA LLC3 awards$5.98M
- 5CLEARVIEW AI, INC.1 award$3.75M
- 6FOUR LLC5 awards$3.57M
- 7CINCOM SYSTEMS, INC.1 award$3.08M
- 8EVERFOX LLC1 award$3.06M
Drawn from official USAspending contract records in our index. Always confirm requirements on the SAM.gov notice before you bid.
Intelligence only — not legal advice or a guarantee of award. Always verify requirements on the official SAM.gov notice. Past award amounts are public history, not a suggested bid or prediction. Notice ID e9e726dc08cc455e8176cd94027c8f78.