Skip to content
ClosedNo longer accepting applications

RFI: Levels of Resilience through Formal Methods

DEPT OF DEFENSE

About this archived opportunity

The Defense Advanced Research Projects Agency (DARPA) Information Innovation Office (I2O) seeks information on approaches, tools, and practices for achieving graduated levels of software resilience and assurance aligned to mission needs, cost, and lifecycle constraints.

Historical details

Status
Closed
Deadline
June 12, 2026
First captured
May 5, 2026
Publisher reference
514ed4aac20d4ddf8ac99f3402586fff

This opportunity has closed

RFI: Levels of Resilience through Formal Methods

by DEPT OF DEFENSE

Get notified when similar opportunities open

We'll save this search and email you when new levels, resilience, through opportunities are posted. Free.

Refine this search