Uploaded June 2025 | Updated September 2026, 1 week ago
DARPA Deputy Director Rob McHenry welcomed attendees at the Resilient Software Systems Colloquium, held on June 17, 2025, in Arlington, Virginia. At the colloquium, DARPA and other U.S. Government and industry presenters demonstrated scalable formal methods tools that can secure systems and prove the absence of exploitable software vulnerabilities. Formal methods are mathematically rigorous techniques that ensure code is free from errors and thus, cyber vulnerabilities. Learn more: https://www.darpa.mil/research/research-spotlights/formal-methods.
DARPA Deputy Director Rob McHenry welcomed attendees at the Resilient Software Systems Colloquium, held on June 17, 2025, in Arlington, Virginia. At the colloquium, DARPA and other U.S. Government and industry presenters demonstrated scalable formal methods tools that can secure systems and prove the absence of exploitable software vulnerabilities. Formal methods are mathematically rigorous techniques that ensure code is free from errors and thus, cyber vulnerabilities. Learn more: https://www.darpa.mil/research/research-spotlights/formal-methods.
