OpportunityTitle: Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS)
AdditionalInformationOnEligibility: All responsible sources capable of satisfying the Government&apos;s needs may submit a proposal that shall be considered by DARPA.  See the Eligibility Information section of the BAA for more information.
Description: 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. V-SPELLS will create practical tools for developers to gain benefits of formal software verification in incremental software (re)engineering rather than only in clean-slate introduction. V-SPELLS tools will enable developers to deliver assured incremental modernization of legacy systems in a manner that leverages verification technologies and reduces rather than raises risk. V-SPELLS aims to radically broaden adoption of software verification by enabling incremental introduction of superior technologies into systems that cannot be re-designed from scratch and replaced as a whole.
GrantorContactText: BAA Coordinator&lt;br/&gt;V-SPELLS@darpa.mil
CloseDateExplanation: See Full Announcement for details.