SAM #DARPA-SN-26-71

DARPA RFI: Approaches for Software Resilience and Assurance via Formal Methods

DARPA's Information Innovation Office (I2O) is seeking input from industry and academia on innovative approaches to software resilience and assurance, with a focus on formal methods. - Request for Information (RFI) aims to gather details on: - Approaches, tools, and practices for software resilience and assurance - Solutions that address mission needs, cost, and lifecycle constraints - No specific products, part numbers, or purchase quantities are listed - No OEMs or vendors are named in the notice - Respondents should describe their relevant capabilities and innovative solutions - Opportunity is open to both industry and academic participants - No procurement or award is being made at this stage; this is for information gathering only - Contracting office is located at DARPA Headquarters, Arlington, VA

Description

The Defense Advanced Research Projects Agency (DARPA) Information Innovation Office (I2O) seeks information on approaches, tools, and practices for achieving graduated levels of software resilience and assurance aligned to mission needs, cost, and lifecycle constraints.

View original listing