Formal Methods Courses
ACM SIGPLAN via YouTube Unified Compositional Symbolic Execution - N40AI'24
ACM SIGPLAN via YouTube Refinement Types: From Light to Deep Verification - Lecture
ACM SIGPLAN via YouTube Implementation and Synthesis of Math Library Functions
ACM SIGPLAN via YouTube A New Perspective on Commutativity in Verification
ACM SIGPLAN via YouTube A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability
ACM SIGPLAN via YouTube Reasoning via Semantic Transformations
ACM SIGPLAN via YouTube On the Need for Available, Functional, and Reusable Memory Models
ACM SIGPLAN via YouTube Massive Proofs for the Masses
ACM SIGPLAN via YouTube Bi-abductive Adversarial Program Synthesis
ACM SIGPLAN via YouTube