Disjunctive Invariants for Modular Static Analysis
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% confidenceCovers disjunctive invariants for static analysis—a formal technique for sound program property verification. Technical research lecture.
What you'll learn
A 58-minute video from Microsoft Research: “Disjunctive Invariants for Modular Static Analysis”.
Video by Microsoft Research, played through YouTube's embedded player.