Proof Engineering, Adaptation, Repair, and Learning for Software (PEARLS)

Notice ID:

DARPA-PA-21-04-04

Department/Ind. Agency:

DEPT OF DEFENSE

Sub-tier:

DEPT OF DEFENSE

Sub Command:

DEF ADVANCED RESEARCH PROJECTS AGCY

Office:

DEF ADVANCED RESEARCH PROJECTS AGCY

All Dates/Times are:

(utc-05:00) eastern standard time, new york, usa

Updated Published Date:

(utc-05:00) eastern standard time, new york, usa

Original Published Date:

0000-00-00 00:00:00

Original Response Date:

dec 02, 2021 04:00 pm est

Inactive Policy:

manual

Original Inactive Date:

jan 01, 2022

Initiative:

• None***--***

Product Service Code:

ac11 - national defense r&d services; department of defense national defense r&d services; department of defense

NAICS Code:

541715 - research and development in the physical, engineering, and life sciences (except nanotechnology and biotechnology)

Original Set Aside:

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.

675 NORTH RANDOLPH STREET

ARLINGTON , VA 222032114

USA

Primary Point of Contacts:

BAA Coordinator