Uploaded June 2025 | Updated September 2026, 1 week ago
Mr. Christopher A. Garrett, systems engineering technical advisor for the U.S. Air Force Life Cycle Management Center, discusses how DARPA’s formal methods tools can address software vulnerabilities and speed acquisition.
Mr. Christopher A. Garrett, systems engineering technical advisor for the U.S. Air Force Life Cycle Management Center, discusses how DARPA’s formal methods tools can address software vulnerabilities and speed acquisition.







