Closed · HR001120S0058 · CFDA 12.910 · Discretionary

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

Federal grant opportunity posted by DARPA - Information Innovation Office, cataloged on Grants.gov.

Varies
Award range
Closed
Status
September 9, 2020
Close date
-
Expected awards

The verdict

Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS) is a closed discretionary listing from DARPA - Information Innovation Office that offered Varies by applicant. Future funding cycles may be published under the same CFDA number. PlainGrants indexes 78 other opportunities from DARPA - Information Innovation Office.

Varies
award range
Closed
application status
12.910
CFDA program
78
other opportunities from DARPA - Information Innovation Office

Archived opportunity record

Verified Security and Performance Enhancement… is closed (last close September 9, 2020). Check the agency catalog for replacement NOFOs. DARPA - Information Innovation Office still indexes 78 other opportunities here.

According to Grants.gov (extract vintage 2026-08-10), this record reflects the officially published listing. See methodology.

Deadline tracker

Application window closed

Closed September 9, 2020

Posted Jul 24 Closes Sep 9

Instrument

Procurement Contract

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.

Catch-all / unrestricted eligibility mark · HR001120S0058

Grants.gov marks Verified Security and Performance Enhancement… with a catch-all / unrestricted eligibility code (Others (see official listing text)). Read the official announcement text for the real applicant filter — the code alone is not a door list. The extract does not mark applicant cost-sharing as required. Instrument: Procurement Contract. Funding-activity code maps to Science and Technology / R&D (ST). This eligibility-code string dominates the DARPA - Information Innovation Office book (37 peers, 47% of 79).

Code 25
Others (see official listing text)

Codes are Grants.gov eligibility category values from the extract vintage 2026-08-10. Confirm the full eligibility statement on the official listing or the Grants.gov eligibility reference.

Official Listing on Grants.gov

View full details, application forms, and submission instructions.

View on Grants.gov

Agency Contact

BAA Coordinator V-SPELLS@darpa.mil

What to do next

Verified Security and Performance Enhancement… is closed; use the parent program and agency catalog for the next funding cycle.

  • Browse open federal opportunities in the same category when this listing is closed. Open opportunities
  • Look up CFDA 12.910 across all indexed listings before you commit to this opportunity alone. Eligibility finder
  • Compare award ranges across federal categories before you pick a single CFDA. All categories

Opportunity deadlines and eligibility change on Grants.gov; PlainGrants mirrors the extract and is not the submission system.

Disclaimer: This information is sourced from Grants.gov and SAM.gov and is for informational purposes only. Opportunity details, deadlines, and eligibility requirements change frequently. Always verify current information directly on Grants.gov before applying. PlainGrants is not affiliated with any federal agency.

Read our methodology - how this data is sourced, computed, and verified.

Data sourced from the SAM.gov Assistance Listings and Grants.gov. See our methodology for details. Retrieved and formatted by PlainGrants