BrighterTube

Mini-course around Event-B and Rodin

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

Event-B and Rodin mini-course introduction. Teaches formal specification and verification methods using a recognized tool.

What you'll learn

A 62-minute video from Microsoft Research: “Mini-course around Event-B and Rodin”.

Programming & CS

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