At any given time, DARPA runs more than 250 programs across a wide range of research topics. We’re shining a spotlight on select topics where we’re making pivotal investments in breakthrough technologies for national security.
Formal Methods
DARPA has developed scalable tools based on formal mathematical methods (formal methods) to secure and prove the absence of exploitable vulnerabilities. We want to create a sustainable ecosystem of formal methods tools that are ready to use, while continuing to advance the state of the art. | Learn more
Event
Resilient Software Systems Colloquium
June 17, 2025
Hyatt Regency Crystal City
Arlington, Va.
Registration deadline: May 26, 2025