Formal Methods Courses
ACM SIGPLAN via YouTube PEak: A Single Source of Truth for Hardware Design and Verification
ACM SIGPLAN via YouTube Logic and Decidability in Programming Languages - Session Preview II
ACM SIGPLAN via YouTube Synthesis II - Session Preview for POPL 2023
ACM SIGPLAN via YouTube Algorithmic Verification - Session Preview at POPL 2023
ACM SIGPLAN via YouTube Type Theory Session Preview - POPL 2023
ACM SIGPLAN via YouTube Probabilistic Inference - Session Preview at POPL 2023
ACM SIGPLAN via YouTube Wisening Assertions: A Live Bayesian Reasoning System for Probabilistic Correctness
ACM SIGPLAN via YouTube Lazy Abstraction Refinement with Proof for an Enhanced Verifier
Linux Plumbers Conference via YouTube Program Verification for the Linux Kernel - Potential Costs and Benefits
Linux Plumbers Conference via YouTube