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

credit:


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



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



Here are the star companies that have succeeded in their corporate social responsibility (CSR) programs. The companies were gathered by Civic 50, a national initiative to survey and rank S&P 500 corporations on how they engage with the communities they serve and utilize best practices in their corporate cultures.




Nonprofit Jobs in Alabama

  Fundraising & Development Jobs
  Social Services Employment
  Substance Abuse Jobs
  Program Director Jobs
  Social Services Jobs




Federal Government Grant and Assistance Programs


Market News | Japan-US Friendship Commission Grants | Flood Control Projects | Promotion of the Humanities_Division of Preservation and Access | STAT-USA: Key Business, Economic, and International Trade Information | Environmental Education Grants | Environmental Quality Incentives Program | Gang-Free Schools and Communities_Community-Based Gang Intervention | | Site Style by YAML | Grants.gov | Grants | Grants News | Sitemap | Privacy Policy

Edited by: Michael Saunders

© 2004-2024 Copyright Michael Saunders