Formal Verification Courses
ACM SIGPLAN via YouTube Verifying a Concurrent File System with Sequential Reasoning
ACM SIGPLAN via YouTube Diagrammatic Notations for Interactive Theorem Proving
ACM SIGPLAN via YouTube Coq: The World's Best Macro Assembler? - 10-Year Most Influential Paper Talk
ACM SIGPLAN via YouTube Formal Verification of a Mechanical Ventilator Using UPPAAL
ACM SIGPLAN via YouTube Trustworthy Formal Natural Language Specifications
ACM SIGPLAN via YouTube Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
ACM SIGPLAN via YouTube Timely Computation - A Formal Approach to Digital Circuit Design
ACM SIGPLAN via YouTube Explicit Refinement Types - A Type Theory with Embedded Proofs
ACM SIGPLAN via YouTube Semantic Encapsulation Using Linking Types
ACM SIGPLAN via YouTube