SOLICITATION NOTICE
A -- Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS)
- Notice Date
- 3/29/2023 5:11:38 AM
- Notice Type
- Presolicitation
- NAICS
- 541715
— Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Contracting Office
- DEF ADVANCED RESEARCH PROJECTS AGCY ARLINGTON VA 222032114 USA
- ZIP Code
- 222032114
- Solicitation Number
- HR001123S0020
- Response Due
- 6/2/2023 12:00:00 PM
- Archive Date
- 10/25/2023
- Point of Contact
- BAA Coordinator
- E-Mail Address
-
PROVERS@darpa.mil
(PROVERS@darpa.mil)
- 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.
- Web Link
-
SAM.gov Permalink
(https://sam.gov/opp/ccee3b24b035414caa7e3a6357ce9716/view)
- Record
- SN06633362-F 20230331/230329230104 (samdaily.us)
- Source
-
SAM.gov Link to This Notice
(may not be valid after Archive Date)
| FSG Index | This Issue's Index | Today's SAM Daily Index Page |