2:40:40Formal Methods for the Informal Engineer: Day 3 (2021)Broad Institute1.8K viewsView & Download
52:40AWS re:Invent 2023 - Gain confidence in system correctness & resilience with formal methods (ARC315)AWS Events13.3K viewsView & Download
29:30Formal Methods of Software Design - Binary Theory [1/33]Preserve Knowledge12.3K viewsView & Download
28:21Mark-Oliver Stehr, Formal Methods in the Dev. of HA Secure Systems (July 30, 2003)securitylectures518 viewsView & Download
14:50Formal Methods of Software Design - Collections: Bunches and Sets [3/33]Preserve Knowledge3.8K viewsView & Download
2:48:13Formal Methods for the Informal Engineer: Tutorial #1 - The Z3 Theorem ProverBroad Institute12.4K viewsView & Download