Request For Information: Dod Relevant System Nominations To Deliver Resilient Software Systems

  Address - United States

  Contact details - 565656565

  Tender notice no. - 76454545

  GT Ref Id - 104812484

  Document Type - Tender Notices

Description - Description: The Defense Advanced Research Projects Agency (DARPA) Information Innovation Office (I2O) seeks information on current and/or future Department of Defense (DoD) systems that would benefit from the use of tools employing software developm ent practices based on formal mathematical methods (i.e., 'formal methods') to verify mathematically that, after application of these tools, systems act in ways that are intended and not in unintentional ways. DARPA is interested in feedback from all capable sources, particularly those sources with formal methods implementation experience. The goal of this RFI is to solicit information about DoD systems where DARPA tools and expertise can improve

Gt Ref Id - 104812484

Deadline - Apr 03, 2025