Formal Verification Courses
IEEE via YouTube Synthesizing Runtime Programmable Switch Updates
USENIX via YouTube RHINE - Robust and High-performance Internet Naming with E2E Authenticity
USENIX via YouTube The Verification of a Distributed System
GOTO Conferences via YouTube Keynote - Six Impossible Things
Devoxx via YouTube Formal Verification of C# Smart Contracts
NDC Conferences via YouTube Formal Verification of Embedded Linux Systems Using Trace-Based Models
Linux Foundation via YouTube Formal Verification and Performance Simulation in Real-World Applications - A Case Study with the Stellar Blockchain
Linux Foundation via YouTube Trustworthy AI in Network Operations
Linux Foundation via YouTube Formal Verification Made Easy and Fast
Linux Foundation via YouTube