Machine-Checked Correctness and Complexity of a Union-Find Implementation
Why it's on BrighterTube
Advanced · Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidencePresentation on machine-checked correctness of union-find teaches formal verification and computational complexity analysis. Covers algorithm proof with computer assistance.
What you'll learn
A 54-minute video from Microsoft Research: “Machine-Checked Correctness and Complexity of a Union-Find Implementation”.
Video by Microsoft Research, played through YouTube's embedded player.