An official website of the United States government
Here's how you know
A .mil website belongs to an official U.S. Department of Defense organization in the United States.
A lock (lock ) or https:// means you’ve safely connected to the .mil website. Share sensitive information only on official, secure websites.

NEWS | April 5, 2023

V-SPELLS: Verified Security and Performance Enhancement of Large Legacy Software

Project Lead:  Dr. Sergey Bratus                                                            

Sponsoring Organization:  DARPA


Project Synopsis:  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. The goal 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 the benefits of formal software verification in incremental software (re)engineering – rather than only in clean-slate introduction – enabling them to deliver assured incremental modernization of legacy systems in a manner that leverages verification technologies and reduces risk.