BrighterTube

Automated Revision of Distributed and Real-Time Programs

Microsoft Research359K subscribers

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% confidence

Automated revision of distributed and real-time programs teaches program synthesis and transformation for concurrent systems. The technique automatically improves correctness properties of complex programs.

What you'll learn

A 76-minute video from Microsoft Research: “Automated Revision of Distributed and Real-Time Programs”.

Programming & CS

Video by Microsoft Research, played through YouTube's embedded player.