DARPA is soliciting innovative research proposals in the area of automating the evaluation of software assurance evidence to enable certifiers to rapidly determine that the system risk is acceptable.

Proposed research should investigate innovative approaches that enable revolutionary advances

credit:

in science, devices, or systems.

Specifically excluded is research that primarily results in evolutionary improvements to the existing state of practice.