Notice ID: DARPA-SN-25-34
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.
DARPA seeks constructive feedback on the FMDRS Guide. DARPA is particularly interested in the assessment of whether the FMDRS Guide provides sufficient information to create the Plan for proposers who lack specific expertise in formal methods. Please see Appendix A for further details. DARPA intends the FMDRS Guide to be generalizable across all DARPA technical offices with technical subject matter varying widely; as such, any feedback submitted should be at the agency level.
Not Yet a Premium Partner/Sponsor? Learn more about the OS AI Premium Corporate and Individual Plans here. Plans start at $295 annually.