Formal Verification Courses
Confidential Computing Consortium via YouTube Safety-Critical Systems: Techniques for Ensuring Safety and Preventing Accidents
Devoxx Poland via YouTube SuSLik: Deductive Synthesis of Safe Programs with Pointers - Tutorial 1b
Neurosymbolic Programming for Science via YouTube When Testing Just Doesn't Cut It - Formal Verification in Mission-Critical Software
Code Sync via YouTube seL4 and BEAM: Running Erlang Without an OS
Code Sync via YouTube Taming Floating Points in Scala and CakeML
Code Sync via YouTube Formal Reasoning: An Alternative Approach to Formal Verification - Code BEAM America 2022
Code Sync via YouTube Verified Extraction from Coq to OCaml
ACM SIGPLAN via YouTube Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocols using Bounded Integer Arithmetic
ACM SIGPLAN via YouTube Formal Runtime Error Detection in Automotive Software Development
ACM SIGPLAN via YouTube