34C3 - How can you trust formally verified software? - deutsche Übersetzung
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% confidenceExamines formal verification techniques for software correctness and the trust assumptions involved. Teaches how mathematical proofs apply to code and their practical limits.
What you'll learn
A 29-minute video from media.ccc.de: “34C3 - How can you trust formally verified software? - deutsche Übersetzung”.
Video by media.ccc.de, played through YouTube's embedded player.