Formal Verification Courses
ACM SIGPLAN via YouTube A Calculus of Inductive Linear Constructions
ACM SIGPLAN via YouTube Property-Based Testing: Climbing the Stairway to Verification - Lecture
ACM SIGPLAN via YouTube The Landscape of Formal Verification in APL - A Review with a Case Study in Quantum Computing
ACM SIGPLAN via YouTube CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
ACM SIGPLAN via YouTube An Algebraic Language for Specifying Quantum Networks
ACM SIGPLAN via YouTube LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
ACM SIGPLAN via YouTube A Verified Compiler for a Functional Tensor Language - PLDI 2024
ACM SIGPLAN via YouTube Quantitative Robustness for Vulnerability Assessment
ACM SIGPLAN via YouTube Specifying Smart Contracts with Hax and ConCert
ACM SIGPLAN via YouTube