Formal Verification Courses
AdaCore via Independent Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera Software Testing and Verification
University System of Maryland via edX Haskell for Imperative Programmers
YouTube Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube How I Can Unlock Your Smart Door - Security Pitfalls in Cross-Vendor IoT Access Control
Black Hat via YouTube Formally Verifying Everybody's Cryptography
Strange Loop Conference via YouTube Correctness Proofs of Distributed Systems with Isabelle
Strange Loop Conference via YouTube Verifying the LLVM
Strange Loop Conference via YouTube Formal Verification and Learning of Complex Systems - Professor Alessandro Abate
Alan Turing Institute via YouTube