MOP: A Generic and Efficient Runtime Verification Framework
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% confidencePresents MOP, a generic runtime verification framework, explaining its design and application. Teaches a tool and methodology for program correctness.
What you'll learn
A 67-minute video from Microsoft Research: “MOP: A Generic and Efficient Runtime Verification Framework”.
Video by Microsoft Research, played through YouTube's embedded player.