Resilient Software Systems Accelerator DARPA-SN-25-84
Summary
AI-generated · Aug 23, 2025Seed funding will be provided to formal methods tool developers who partner with Defense Industrial Base companies to identify DoD systems that would benefit from their tools, as part of DARPA’s Resilient Software Systems Accelerator. DARPA funding would support an initial red team assessment of the DoD system vulnerabilities, the application of the formal methods tool(s), and a second red team assessment to measure impact and level of effort. Conclusions about the tool’s efficacy would be incorporated into the FMDRS Guide (DARPA Guide to Formal Methods to Deliver Resilient Systems for Proposals).
DARPA is working on additional pathways to support the transition of formal methods tools, including conducting a Resilient Software Systems Accelerator. This accelerator will provide seed funding to formal methods tool developers who partner with Defense Industrial Base companies to identify DoD systems that would benefit from the use of their tools as described above. DARPA funding would support an initial red team assessment of the DoD system s vulnerabilities, the application of the formal methods tool(s), and a second red team assessment to measure impact and level of effort. Conclusions from the efficacy of the tool would be incorporated into the DARPA Guide to Formal Methods to Deliver Resilient Systems for Proposals ( the FMDRS Guide ).
From Special Notice posted on Jun 16, 2025Notice history
1Details
Award Information
Not yet awarded