Skip to content

DARPA – Request for Information/Feedback – Draft Guide to Formal Methods to Deliver Resilient Systems

Home / News / DARPA – Request for Information/Feedback – Draft Guide to Formal Methods to Deliver Resilient Systems

DARPA – Request for Information/Feedback – Draft Guide to Formal Methods to Deliver Resilient Systems

twitterlinkedin

DARPA’s Information Innovation Office is seeking community feedback on the draft DARPA Guide to Formal Methods to Deliver Resilient Systems (FMDRS) for Proposals.

Where applicable, future DARPA solicitations will require the a Resilient Systems Implementation Plan demonstrating how the proposal team will design, implement and deliver resilient system capabilities.

DARPA is particularly interested in assessment of whether the FMDRS Guide provides sufficient information to create the plan for proposers who lack specific expertise in formal methods.

Responses are to be submitted by 25 February 2025 via email to DARPA-SN-25-34@darpa.mil.

 

Documents

RFI – FMDRS Guide: DARPA-SN-25-34-Amendment-01

Draft – DARPA Guide for FMDRS for Proposals: Resilient_Systems_Best_Practices_Guide_-_1-9-2025

 

You may be also interested in ...