SOLICITATION NOTICE
A -- Proof Engineering, Adaptation, Repair, and Learning for Software (PEARLS)
- Notice Date
- 11/3/2021 9:21:30 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
- DARPA-PA-21-04-04
- Response Due
- 12/2/2021 4:00:00 PM
- Archive Date
- 01/01/2022
- Point of Contact
- BAA Coordinator
- E-Mail Address
-
PEARLS@darpa.mil
(PEARLS@darpa.mil)
- Description
- The Defense Advanced Research Projects Agency (DARPA) is issuing an Artificial Intelligence Exploration (AIE) Opportunity inviting submissions of innovative basic or applied research concepts in the technical domain of Formal Methods. The Proof Engineering, Adaptation, Repair, and Learning for Software (PEARLS) Opportunity aims to explore the use of AI and machine learning (ML) to support, and if possible automate, the generation and maintenance of proofs used in the formal verification of software.
- Web Link
-
SAM.gov Permalink
(https://beta.sam.gov/opp/da84366306554cc981f37f703a78c698/view)
- Record
- SN06169862-F 20211105/211103230110 (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 |