Satisfiability-based Program Reasoning and Synthesis
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% confidenceCovers satisfiability-based methods for program reasoning and synthesis, demonstrating how SAT solving applies to code analysis and generation. Presents specific techniques in formal methods for programming.
What you'll learn
A 77-minute video from Microsoft Research: “Satisfiability-based Program Reasoning and Synthesis”.
Video by Microsoft Research, played through YouTube's embedded player.