DARPA is soliciting innovative research proposals in the area of proof engineering, to include proof development, maintenance, deployment, and management. Proposals should 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.
The goal of PROVERS is to develop formal methods tools fully integrated into pipelined software development and maintenance processes to enable higher levels of assurance that software systems are free of certain defects or security issues. These formal methods tools will be designed for software engineers who are not formal methods experts in verifying a system’s properties. Tooling will be integrated into a development pipeline, enabling a continuous flow of capabilities over time while maintaining high assurance.
Abstracts due 14 April 2023,; Full proposals due 2 June 2023.
PROVERS is a 42-month program of three phases of 2, 18 and 12 months.