Ada Core Software

Agency: DEPT OF DEFENSE
State: Ohio
Type of Government: Federal
Set Aside: No Set aside used
Posted Date: Apr 14, 2026
Due Date: Apr 21, 2026
Solicitation No: F4FBQQ6079A001
Original Source: Please Login to View Page
Contact information: Please Login to View Page
Bid Documents: Please Login to View Page

Description

Follow
Ada Core Software
Active
Contract Opportunity
Notice ID
F4FBQQ6079A001
Related Notice
Department/Ind. Agency
DEPT OF DEFENSE
Sub-tier
DEPT OF THE AIR FORCE
Major Command
AIR FORCE MATERIEL COMMAND
Sub Command
AIR FORCE RESEARCH LABORATORY
General Information
  • 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
Classification
  • 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 45433
    USA
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.






Attachments/Links
Contact Information
Primary Point of Contact
Secondary Point of Contact


History
  • Apr 14, 2026 10:32 am EDTSpecial Notice (Original)
Get Government Bids Like This by Email Receive daily bid alerts that match your keywords, business categories, and target regions.
View Sample Report Start Free Trial

See Also

FRED Optical Engineering Soft...

Follow FRED Optical Engineering Software Active Contract Opportunity Notice ID Related Notice Department/Ind.

DEPT OF DEFENSE

Due by 9/16/2026

Intent to Award Sole Source -...

Follow Intent to Award Sole Source - STAR CCM Active Contract Opportunity Notice

DEPT OF DEFENSE

Due by 9/08/2029

* Disclaimer: This website provides information about bids, requests for proposals (RFPs), or requests for qualifications (RFQs) for convenience only and does not serve as an official public notice. Individuals who wish to respond to or inquire about bids, RFPs, or RFQs should contact the relevant government department directly.