Formal Verification Courses
ACM SIGPLAN via YouTube Lifting Compiler Security Properties to Stronger Attackers: The Speculation Case
ACM SIGPLAN via YouTube Verifying Dafny Contract Integrity - Detecting Common Pitfalls
ACM SIGPLAN via YouTube Testing Specifications in Dafny - Dafny'24
ACM SIGPLAN via YouTube Improving the Stability of Type Safety Proofs in Dafny
ACM SIGPLAN via YouTube Caesar: A Verifier for Probabilistic Programs - Dafny'24
ACM SIGPLAN via YouTube Learn 'em Dafny - Incorporating Verification Tools in Software Engineering Education
ACM SIGPLAN via YouTube Generation of Verified Assembly Code Using Dafny and Reinforcement Learning
ACM SIGPLAN via YouTube Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
ACM SIGPLAN via YouTube Verus: Verifying Rust Programs Using Linear Ghost Types
ACM SIGPLAN via YouTube