Proving That Programs Eventually Do Something Good
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 formal techniques for proving program liveness and progress properties. Technical lecture on program verification methods.
What you'll learn
A 58-minute video from Microsoft Research: “Proving That Programs Eventually Do Something Good”.
Video by Microsoft Research, played through YouTube's embedded player.