Government Grants
Business Grants
Home Owner Programs
Federal Programs
About Us
Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS)
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.
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.
Agency: Department of Defense
Office: DARPA - Information Innovation Office
Estimated Funding: $175,000
Office: DARPA - Information Innovation Office
Estimated Funding: $175,000
Who's Eligible
Obtain Full Opportunity Text:
Beta.SAM Contract Opportunities
Additional Information of Eligibility:
All responsible sources capable of satisfying the Government's needs may submit a proposal that shall be considered by DARPA.
See the Eligibility Information section of the BAA for more information.
Full Opportunity Web Address:
https://beta.sam.gov/opp/7dc5798bf5e74d8aa3df767edd3e0815/view
Contact:
Agency Email Description:
If you have any problems linking to this funding announcement, please contact the NIH OER Webmaster
Agency Email:
Date Posted:
2020-07-24
Application Due Date:
Archive Date:
2020-10-09
Social Entrepreneurship
Spotlight
Building a Million Dollar Company Where Everyone Counts
Ganesh Natarajan is the Founder and Chairman of 5FWorld, a new platform for funding and developing start-ups, social enterprises and the skills eco-system in India. In the past two decades, he has built two of India’s high-growth software services companies – Aptech and Zensar – almost from scratch to global success.
Learn How to Identify and Avoid Grant Scams
