# Request for Information: Formal Methods to Deliver Resilient Systems (FMDRS)

Canonical: https://abierto.us/opportunities/darpasn2534

- Solicitation number: DARPA-SN-25-34
- Notice type: Special notice
- Status: Closed. Deadline was March 7, 2025
- Department: Department of Defense
- Agency: Defense Advanced Research Projects Agency
- Contracting office: Def Advanced Research Projects Agcy (HR0011)
- NAICS: 541714 Research and Development in Biotechnology (except Nanobiotechnology)
- Product or service code: AC12 National Defense R&D Services; Department Of Defense - Military; Applied Research
- First posted: January 21, 2025
- Last posted: February 20, 2025
- SAM.gov: https://sam.gov/workspace/contract/opp/1af518c646e44ced895efe56f71f6df6/view

## Description

The Defense Advanced Research Projects Agency (DARPA) Information Innovation Technology Office (I2O) seeks community feedback on the draft DARPA Guide to Formal Methods to Deliver Resilient Systems for Proposals (“the FMDRS Guide”), provided as Attachment A to this Request for Information (RFI). DARPA is interested in feedback from all capable sources, particularly those sources with formal methods implementation experience, on the scope and breadth of the FMDRS Guide. The goal of this RFI is to solicit robust feedback on the FMDRS Guide. Responses to this RFI will be used to inform the use of the FMDRS Guide in future DARPA solicitations.

## Publications

- January 21, 2025: Special notice, due February 25, 2025. Notice ffd30e75a890495885d5da82896bdb8b. https://sam.gov/workspace/contract/opp/ffd30e75a890495885d5da82896bdb8b/view
- January 23, 2025: Special notice, due February 25, 2025. Notice 127898f2979642eea65316c88a3169ba. https://sam.gov/workspace/contract/opp/127898f2979642eea65316c88a3169ba/view
- January 24, 2025: Special notice, due February 25, 2025. Notice 1fbef90fc098420e9e942f9ce2b643f5. https://sam.gov/workspace/contract/opp/1fbef90fc098420e9e942f9ce2b643f5/view
- February 20, 2025: Special notice, due March 7, 2025. Notice 1af518c646e44ced895efe56f71f6df6. https://sam.gov/workspace/contract/opp/1af518c646e44ced895efe56f71f6df6/view

## Points of contact

- DARPA-SN-25-34@darpa.mil, DARPA-SN-25-34@darpa.mil

---
Source: SAM.gov Contract Opportunities bulk extract. Confirm deadlines on SAM.gov before responding. Cite https://abierto.us/opportunities/darpasn2534.