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% confidenceDemonstrates 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++