This is a $5,693,531 definitive cost-no-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Virginia Polytechnic Institute & State University (Virginia Tech) to support the V-SPELLS (Verified Security and Performance Enhancement of Large Legacy Software) program. This contract has no set-aside designation.
The V-SPELLS program aims to develop tools that enable incremental modernization of legacy software systems through formal verification methods. The work will involve four technical areas: automated program understanding, compositional DSL programming, verified layer flattening and distribution, and demonstration and evaluation. Virginia Tech will perform the research and development as the prime contractor, with the Open Universiteit serving as a subcontractor on the FALCON (Formal Analysis of Legacy Code domaiNs) effort. This contract is part of a larger $40 million DARPA initiative to create a capability for piece-by-piece enhancement of software components with new verified code that is correct-by-construction and compatible-by-construction.
Generated 3/6/25, 10:05 AM