This is a sole-source, firm fixed-price U.S. Navy procurement intended for AdaCore Inc., with all quotes due by July 21, 2026. The contract is for tax-exempt services or supplies, and performance will be managed out of Patuxent River, Maryland. No specific budget amount is provided in the description. Offerors must be registered in SAM.gov and submit their best and lowest price with sufficient technical detail. Award will be made to the vendor offering the lowest-priced, technically acceptable quote that meets all requirements.