Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS)

Archived

DARPA - Information Innovation Office

View on Grants.gov 📝 Build a proposal template ★ Save

Description

The Defense Advanced Research Projects Agency (DARPA) is soliciting innovative research proposals in the area of proof engineering, to include proof development, maintenance, deployment, and management. Proposals that will drive advances in proof engineering, providing for the development of knowledge, methods, and tools enabling integration of capabilities into a continuous software development pipeline accessible to traditional software developers and engineers, ensuring that critical DoD systems remain free of categories of defects and vulnerabilities.

Who can apply

  • Others

Contact

BAA Coordinator<br/>PROVERS@darpa.mil
PROVERS@darpa.mil

Key dates & funding
  • PostedMar 29, 2023
  • ClosesSep 25, 2023
  • CFDA12.910
Categories
Science and Technology and other Research and Development

Pro insight

Edit and export this grant’s proposal template, plus deadline reminders, similar-grant suggestions, and funder history — all available with Pro.

Unlock with Pro