{"canonical":"https://abierto.us/opportunities/f4fbqq6079a001","key":"F4FBQQ6079A001","url":"https://abierto.us/opportunities/f4fbqq6079a001","title":"Ada Core Software","solicitation_number":"F4FBQQ6079A001","notice_type":"s","open":false,"response_deadline":"2026-04-21T18:00:00Z","first_posted":"2026-04-14","last_posted":"2026-04-14","department":"DEPT OF DEFENSE","subagency":"DEPT OF THE AIR FORCE","office":"AIR FORCE RESEARCH LABORATORY","naics":"513210","psc":"7A21","set_aside":null,"place_state":"OH","place_county":"39057","place_county_name":"Greene County","place_city":"3986660","place_city_name":"Wright-Patterson AFB","winner":null,"award_amount":null,"publications":[{"notice_id":"e9e726dc08cc455e8176cd94027c8f78","title":"Ada Core Software","solicitation_number":"F4FBQQ6079A001","notice_type":"s","base_type":"s","posted":"2026-04-14","posted_at":null,"due_at":"2026-04-21T18:00:00Z","due_date":"2026-04-21","cancelled":null,"archived":null,"archive_date":"2026-05-06","award_number":null,"awardee_name":null,"amount":null,"link_sam":"https://sam.gov/workspace/contract/opp/e9e726dc08cc455e8176cd94027c8f78/view","enriched":false,"history":[]}],"latest_notice_id":"e9e726dc08cc455e8176cd94027c8f78","first_type":"s","notices":[{"dates":{"posted":"2026-04-14","response_deadline":{"raw":"2026-04-21T14:00:00-04:00","utc":"2026-04-21T18:00:00Z","date":"2026-04-21","time":"14:00:00","utc_offset_seconds":-14400}},"links":{"sam":"https://sam.gov/workspace/contract/opp/e9e726dc08cc455e8176cd94027c8f78/view"},"naics":{"codes":["513210"],"primary":"513210"},"title":"Ada Core Software","agency":{"office":{"name":"AIR FORCE RESEARCH LABORATORY"},"subtier":{"code":"5700","name":"DEPT OF THE AIR FORCE"},"department":{"code":"057","name":"DEPT OF DEFENSE"},"organization_type":"SUB COMMAND"},"status":{"active":false,"archive_date":"2026-05-06","archive_type":"auto15"},"contacts":[{"name":"Travis McCullough","role":"primary","email":"travis.mccullough.1@us.af.mil"}],"base_type":{"code":"s","label":"Special Notice"},"notice_id":"e9e726dc08cc455e8176cd94027c8f78","provenance":{"extract":{"url":"https://s3.amazonaws.com/falextracts/Contract%20Opportunities/Archived%20Data/FY2026_archived_opportunities.csv","etag":"\"d9374b90a938e9923d910594731b7b57-106\"","fetched_at":"2026-09-16T16:22:53.920682Z","row_sha256":"8b3801e47f2d0497a4c13544318ac2ffb2de66c0aa29e0ed477d09e0e3378c3c","last_modified":"2026-09-13T14:50:39Z"},"updated_at":"2026-09-16T16:22:53.920682Z","first_seen_at":"2026-09-16T16:22:53.920682Z"},"description":{"text":"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.","origin":"extract"},"notice_type":{"code":"s","label":"Special Notice"},"schema_version":1,"solicitation_number":"F4FBQQ6079A001","place_of_performance":{"zip":"45433","city":{"name":"Wright Patterson AFB"},"state":{"code":"OH"},"country":{"code":"USA"}},"product_service_code":"7A21"}],"due_at":"2026-04-21T18:00:00Z","due_date":"2026-04-21","closes_at":"2026-04-21T18:00:00Z","awardable":false,"dept_key":"d-057","dept_name":"DEPT OF DEFENSE","sub_key":"s-5700","sub_name":"DEPT OF THE AIR FORCE","office_key":"o-n-AIRFORCERESEARCHLABORATORY","office_name":"AIR FORCE RESEARCH LABORATORY","state":"OH","county":"39057","county_name":"Greene County","city":"3986660","city_name":"Wright-Patterson AFB","country":"USA","winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"updated_at":"2026-09-16T21:18:12.857524Z","principal_notice_id":"e9e726dc08cc455e8176cd94027c8f78","description":{"text":"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.","html":null,"origin":"extract"},"contacts":[{"name":"Travis McCullough","role":"primary","email":"travis.mccullough.1@us.af.mil"}],"place_of_performance":{"zip":"45433","city":{"name":"Wright Patterson AFB"},"state":{"code":"OH"},"country":{"code":"USA"}},"office_address":null,"naics_codes":["513210"],"award":null,"attachments":[],"awards":[],"related":[]}