Panel: Understanding Formal Methods Tools, Techniques and Opportunities @DARPAtv
Panel: Understanding Formal Methods Tools, Techniques and Opportunities @DARPAtv
Uploaded June 2025 | Updated September 2026, 2 weeks ago
Focus on Authority to Operate (ATO), Parsers and Separation Kernels

Featuring DARPA Program Managers: Dr. Matthew Wilding, Dr. Stephen Kuhn, Dr. Dan Wallach, Dr. Howard Shrobe
Demonstrations by DARPA Performers: Mr. Thomas Bailey, Riverside Research, and Dr. Darren Cofer, Collins Aerospace
Panel: Understanding Formal Methods Tools, Techniques and OpportunitiesDisruption: Revolution, not EvolutionAn Army Perspective on Resilient Software SystemsWhat is Generative Optogenetics?Assured Micropatching HackathonDARPA Lift Challenge August 3 RecapDARPA Lift ChallengeTeam Atlanta’s Takeaways from DARPAs AIxCCTesting 1, 2, 3 Testing: Automatically Finding and Fixing Software Vulnerabilities at Scale & SpeedThink Beyond the Impossible: Opportunities at DARPA - MTO Spark TankTeam Lacrosse - DARPA AI Cyber ChallengeRebuilding the Battery - MTO Spark Tank
DARPAtv |

Panel: Understanding Formal Methods Tools, Techniques and Opportunities

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER