BrighterTube

Joseph Sifakis, 2007 ACM A.M. Turing Award Lecture, "The Quest for Correctness Beyond Verification"

Association for Computing Machinery (ACM)49.8K subscribers

About this video

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

Joseph Sifakis's Turing Award Lecture on correctness verification beyond formal methods. A research overview of ensuring system correctness and safety.

A 35-minute video from Association for Computing Machinery (ACM): “Joseph Sifakis, 2007 ACM A.M. Turing Award Lecture, "The Quest for Correctness Beyond Verification"”.

Programming & CSLectures

Video by Association for Computing Machinery (ACM), played through YouTube's embedded player.

Part of ACM A.M. Turing Award Lectures