6:20Zac Hatfield-Dodds – Formal Verification is Overrated [Alignment Workshop]FAR․AI4.1K viewsView & Download
52:03Keynote Fifteen years of formal methods at AWS Marc Brooker, Amazon AWSTLA+ - The Temporal Logic of Actions4.7K viewsView & Download
9:27Module overview: Formal Methods for Software EngineeringJan Oliver Ringert996 viewsView & Download
1:32:39Panel: Understanding Formal Methods Tools, Techniques and OpportunitiesDARPAtv646 viewsView & Download
8:45The Hidden Power of Formal Methods in Hardware Design: Crash CoursePsychogenic Technologies4.7K viewsView & Download
56:30Keynote: Formal Methods at Microsoft - Nikolaj BjørnerTLA+ - The Temporal Logic of Actions4.2K viewsView & Download
52:40AWS re:Invent 2023 - Gain confidence in system correctness & resilience with formal methods (ARC315)AWS Events13.3K viewsView & Download