# Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS)

Source: https://welltoldgrants.com/grants/hr001123s0020-pipelined-reasoning-of-verifiers-enabling-robust-systems/  
Official notice: https://www.grants.gov/search-results-detail/347194

> DARPA - Information Innovation Office offered grants to the applicants described in the notice. Applications closed on September 25, 2023.

| Field | Value |
|---|---|
| Opportunity number | HR001123S0020 |
| Agency | DARPA - Information Innovation Office |
| Status | Forecast |
| Deadline | September 25, 2023 |
| Award ceiling | not stated |
| Award floor | not stated |
| Expected awards | not stated |
| Total funding | not stated |
| Cost sharing | not required |
| Assistance Listings | 12.910 |

## Who can apply

- Others (see text field entitled "Additional Information on Eligibility" for clarification)

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.

## What the grant funds

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.

## Questions people ask

### Is HR001123S0020 still open?

No. It closed on September 25, 2023. A newer notice is open: DARPARA2701, closes January 13, 2027 (67 days left).

### Who can apply for Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS)?

DARPA - Information Innovation Office accepted applications from the applicants described in the notice. The notice adds further conditions, so read its eligibility section.

### What is the deadline for Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS)?

Closed September 25, 2023. Applications are no longer accepted; the program's newer notices are on this page when there are any.

### Who has won Research and Technology Development grants before?

The largest recipients over five fiscal years were University of Southern California, Clemson University, Massachusetts Institute of Technology. The program made 739 awards worth $1.5 billion in that time.