Adam McCullough- Rust's Borrow Checker Proven Correct!- λC 2019
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% confidenceExplains formal verification that Rust's borrow checker is correct with proof methods. Technical explanation of safety guarantees through formal methods.
What you'll learn
A 50-minute video from LambdaConf: “Adam McCullough- Rust's Borrow Checker Proven Correct!- λC 2019”.
Video by LambdaConf, played through YouTube's embedded player.
Part of Formal Methods, LambdaConf 2019
Go deeper
As an Amazon Associate, BrighterTube earns from qualifying purchases. Picked by hand for this subject; nobody paid to be listed.