This event took place on June 17, 2025. Visit the following link to access replays of each presentation.
https://www.darpa.mil/research/research-spotlights/formal-methods
Welcome
Overview
A strong, lethal military demands cutting-edge and resilient software to power every weapon and support system our U.S. warfighters depend on. Formal methods can be used precisely to neutralize cyber threats before they can materialize and harm U.S. interests. At the colloquium, DARPA and other presenters will demonstrate scalable formal methods tools that can secure systems and prove the absence of exploitable vulnerabilities across all DoD systems - today and into the future.