Closed Solicitation · DEPT OF DEFENSE

HARDENING DEVELOPMENT TOOLCHAINS AGAINST EMERGENT EXECUTION ENGINES (HARDEN)

Issued by DEFENSE ADVANCED RESEARCH PROJECTS AGENCY · DEF ADVANCED RESEARCH PROJECTS AGCY

Sol. HR001121S0040PresolicitationARLINGTON, VA

Closed

STATUS

Closed

closed Nov 4, 2021

POSTED

Oct 8, 2021

Publication date

NAICS CODE

541715

Primary industry classification

PSC CODE

—

Product & service classification

AI Summary

The HARDEN program by DARPA seeks innovative methods utilizing formal verification and AI to create tools that can predict and manage emergent execution engines. This presolicitation invites proposals for developing advanced software solutions in this domain.

Contract details

Solicitation No.: HR001121S0040
Notice Type: Presolicitation
Posted Date: October 8, 2021
Response Deadline: November 4, 2021
NAICS Code: 541715 AI guide
Issuing Office: DEF ADVANCED RESEARCH PROJECTS AGCY
Sub-Agency: DEFENSE ADVANCED RESEARCH PROJECTS AGENCY
Agency: DEPT OF DEFENSE
City: ARLINGTON
State: VA
ZIP Code: 222032114
AI Product/Service: service

Description

The HARDEN program will explore novel approaches that use formal verification methods and Artificial Intelligence (AI)-aided program models, analyses, and logics to develop practical tools to anticipate, isolate, and mitigate emergent execution engin

Key dates

October 8, 2021Posted Date
November 4, 2021Proposals / Responses Due

AI search tags

software development artificial intelligence formal verification program analysis defense research

Frequently asked questions

HARDENING DEVELOPMENT TOOLCHAINS AGAINST EMERGENT EXECUTION ENGINES (HARDEN) is a federal acquisition solicitation issued by DEPT OF DEFENSE. Review the full description, attachments, and submission requirements on SamSearch before the response deadline.

SamSearch Platform

Stop searching. Start winning.

AI-powered intelligence for the right opportunities, the right leads, and the right time.

Book a Demo