Verifying Safety Policies with Size Properties and Alias Controls
About this video
Advanced · Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidencePresents verification of safety policies using size properties and alias controls. Teaches formal methods for program correctness in memory-safe languages.
A 48-minute video from Microsoft Research: “Verifying Safety Policies with Size Properties and Alias Controls”.
Video by Microsoft Research, played through YouTube's embedded player.