Real-time Safety — Guaranteed by the Compiler! - Anders Schau Knatten - NDC TechTown 2025

About this video

Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Demonstrates how compiler guarantees ensure real-time safety properties in systems code, combining type systems with safety constraints. Teaches specific language features for safety-critical systems.

A 63-minute video from NDC Conferences: “Real-time Safety — Guaranteed by the Compiler! - Anders Schau Knatten - NDC TechTown 2025”.

Video by NDC Conferences, played through YouTube's embedded player.

Part of NDC TechTown 2025, C, C++