Hoare Logic Courses
Strange Loop Conference via YouTube RustProof: Static Analysis Using MIR - PDXRust October 2016
Rust via YouTube Calculational Design of Correctness and Incorrectness Transformational Program Logics by Abstract Interpretation
ACM SIGPLAN via YouTube The Landscape of Formal Verification in APL - A Review with a Case Study in Quantum Computing
ACM SIGPLAN via YouTube Hyper Hoare Logic: Proving and Disproving Program Hyperproperties
ACM SIGPLAN via YouTube The Never-Ending Trace: An Under-Approximate Approach to Divergence Bugs
ACM SIGPLAN via YouTube Automated Expected Value Analysis of Recursive Programs
ACM SIGPLAN via YouTube The Logical Essence of Well-Bracketed Control Flow
ACM SIGPLAN via YouTube VST-A: A Foundationally Sound Annotation Verifier for Imperative Programs
ACM SIGPLAN via YouTube Colouring Flags with Dafny and Idris - Dafny'24
ACM SIGPLAN via YouTube