RFI: Levels of Resilience through Formal Methods

🇺🇸
SAM·sam·United States (federal)
federalNew

Solicitation

DARPA-SN-26-71

NAICS

541715

Organization

DEPT OF DEFENSE.DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA).DEF ADVANCED RESEARCH PROJECTS AGCY

Posted

May 4, 2026

Response due

Jun 12, 20262 days left

Type

Special Notice

Classification / PSC

AC12

Point of contact

Name
RFI Coordinator
Email
ResilientSoftwareSystems@darpa.mil
Type
primary

Documents & attachments

RFI: Levels of Resilience through Formal Methods | SAM | Vourix · Vourix