A Crash Course on Model Checking - session 2
Why it's on BrighterTube
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceSession 2 of model checking crash course. Teaches formal verification methods and algorithmic approaches to temporal logic verification.
What you'll learn
A 59-minute video from Microsoft Research: “A Crash Course on Model Checking - session 2”.
Video by Microsoft Research, played through YouTube's embedded player.