BrighterTube

How to prove large software projects correct

TNG Technology Consulting GmbH5.08K 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

Addresses formal verification and correctness proof methods for large software. Technical lecture on formal methods, mathematical verification, and program correctness.

What you'll learn

A 56-minute video from TNG Technology Consulting GmbH: “How to prove large software projects correct”.

Programming & CSScience & Math

Video by TNG Technology Consulting GmbH, played through YouTube's embedded player.

Part of Big Techday 8