The goal of this Request for Information (RFI) is to solicit information about DoD systems employing software development practices based on formal mathematical methods (i.e., 'formal methods') where DARPA tools and expertise can improve the resilience to adversarial attacks.
Contact