SPECIAL NOTICE
A -- Request for Information: Formal Methods to Deliver Resilient Systems (FMDRS)
- Notice Date
- 1/21/2025 1:11:08 PM
- Notice Type
- Special Notice
- NAICS
- 541714
— Research and Development in Biotechnology (except Nanobiotechnology)
- Contracting Office
- DEF ADVANCED RESEARCH PROJECTS AGCY ARLINGTON VA 222032114 USA
- ZIP Code
- 222032114
- Solicitation Number
- DARPA-SN-25-34
- Response Due
- 2/25/2025 5:00:00 PM
- Archive Date
- 02/26/2025
- Point of Contact
- QB@darpa.mil
- E-Mail Address
-
QB@darpa.mil
(QB@darpa.mil)
- 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.
- Web Link
-
SAM.gov Permalink
(https://sam.gov/opp/ffd30e75a890495885d5da82896bdb8b/view)
- Record
- SN07317781-F 20250123/250121230059 (samdaily.us)
- Source
-
SAM.gov Link to This Notice
(may not be valid after Archive Date)
| FSG Index | This Issue's Index | Today's SAM Daily Index Page |