Ada Core Software
| Location: | Ohio |
|---|---|
| Posted: | Apr 14, 2026 |
| Due: | Apr 21, 2026 |
| Agency: | DEPT OF DEFENSE |
| Type of Government: | Federal |
| Category: | |
| Solicitation No: | F4FBQQ6079A001 |
| Publication URL: | To access bid details, please log in. |
- Contract Opportunity Type: Special Notice (Original)
- Original Published Date: Apr 14, 2026 10:32 am EDT
- Original Response Date: Apr 21, 2026 02:00 pm EDT
- Inactive Policy: 15 days after response date
- Original Inactive Date: May 06, 2026
-
Initiative:
- None
- Original Set Aside: No Set aside used
- Product Service Code: 7A21 - IT AND TELECOM - BUSINESS APPLICATION SOFTWARE (PERPETUAL LICENSE SOFTWARE)
-
NAICS Code:
- 513210 - Software Publishers
-
Place of Performance:
Wright Patterson AFB , OH 45433USA
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.
- Apr 14, 2026 10:32 am EDTSpecial Notice (Original)
With GovernmentContracts, you can:
- Find more opportunities and win more business
- Receive daily alerts for all new bid opportunities
- Get contract opportunities matched to your business
See also
...:00 PM Inquiry End Date: 7/29/2026 5:00:00 PM Commodity: Administration software MBE Set ...
State Government of Ohio
Bid Due: 8/04/2026
...Inquiry End Date: 7/29/2026 5:00:00 PM Commodity: Operating environment software MBE Set Aside: ...
State Government of Ohio
Bid Due: 8/04/2026
.../2026 12:00:00 PM Inquiry End Date: 8/6/2026 12:00:00 PM Commodity: Software MBE Set ...
State Government of Ohio
Bid Due: 8/07/2026
.../31/2026 12:00:00 PM Commodity: Project management software MBE Set Aside: MBE Set Aside ...
State Government of Ohio
Bid Due: 8/06/2026