Defense Advanced Research Projects AgencyTagged Content List

Resilience and Robustness

Enabling technologies and systems to preserve effectiveness despite damage or other challenging conditions

Showing 1 results for Resilience + Formal RSS
July 29, 2020, from 12:00 PM to 4:00 PM (ET),
The Information Innovation Office (I2O) is holding a Proposers Day to provide information to potential proposers on the objectives of the Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS) program in anticipation of a planned Broad Agency Announcement. The goal of the V-SPELLS program is to create a developer-accessible capability for piece-by-piece enhancement of software components with new verified code that is both correct-by-construction and compatible-by-construction, i.e., safely composable with the rest of the system.