How scheduling theory, scenarios, model checking and slicing can help in the verification of RTS

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

Explains how scheduling theory, model checking, and slicing verify real-time systems. A lecture on formal verification methods for concurrent systems.

What you'll learn

A 68-minute video from Microsoft Research: “How scheduling theory, scenarios, model checking and slicing can help in the verification of RTS”.

Programming & CS Engineering

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