This is a $9,597,980.00 definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Georgia Tech Research Corporation (GTRC) for research in support of DARPA's V-SPELLS program. The contract does not have a set-aside designation. Under this contract, GTRC will develop practical tools to enable incremental modernization of legacy software systems through formal verification methods, addressing four key technical areas - automated program understanding, compositional domain-specific language programming, verified layer flattening and distribution, and demonstration/evaluation. GTRC has engaged Trusted Science and Technology, Inc. and the University of Texas at Dallas as subcontractors to support various aspects of the research. The V-SPELLS program aims to broaden the adoption of software verification by enabling the incremental introduction of verified software components into existing legacy systems.
Generated 9/23/24, 9:44 AM