Home » Tenders » Americas » USA » Tender 139538043

Ada Core Software Tender in USA - 139538043

The DEPT OF DEFENSE | DEPT OF THE AIR FORCE has issued a Tender notice for the procurement of a Ada Core Software in the USA. This Tender notice was published on 15 Apr 2026 and is scheduled to close on 21 Apr 2026, with an estimated Tender value of Refer Document. Interested bidders can access detailed Tender information, eligibility criteria, and complete bidding documents by referencing TOT Ref No. 139538043, while the tender notice number is F4FBQQ6079A001 and Registering on the platform.

Procurement Summary

Country: USA

Summary: Ada Core Software

Deadline: 21 Apr 2026

Posting Date: 15 Apr 2026

Other Information

Notice Type: Tender

TOT Ref.No.: 139538043

Document Ref. No.: F4FBQQ6079A001

Competition: ICB

Financier: Self Financed

Purchaser Ownership: Public

Tender Value: Refer Document

Purchaser's Detail

Name: Login to see tender_details

Address: Login to see tender_details

Email: Login to see tender_details

Tender Details

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.
Notice ID: f4fbqq6079a001

Department/Ind. Agency: dept of defense

Sub-tier: dept of the air force

Office: air force research laboratory

Product Service Code: 7a21 - it and telecom - business application software (perpetual license software)

NAICS Code: 513210 - Software Publishers

Inactive Dates: may 06, 2026

Inactive Policy: 15 days after response date

Documents

Browse More

All Tenders From Americas

Procurement Documents for USA

Access a comprehensive library of standard procurement documents specific to USA. Here, you'll find all the essential forms, guidelines, and templates required for tender applications and submissions in USA

Explore Procurement Documents for USA

Want To Bid in This Tender?

Get Local Agent Support in USA and 60 More Countries.

View All The Services

View Tenders By