Verified software

Opening & welcome
Dr. Péter Szeredi
Dines Bjørner
Prof. Emer Ákos Detrekői 12 years ago - 11:49
Dines Bjørner
Prof. Emer Ákos Detrekői 12 years ago - 11:49

The ideal of program correctness
Prof. Sir Tony Hoare
12 years ago - 42:46

A million lines of verified code
Jim Woodcock
12 years ago - 40:26

Have we learned from the Wasa disaster?
Jean-Raymond Abrial
12 years ago - 38:02

Temporal annotations and their validation
Amir Pnueli
12 years ago - 47:40

The German VeriSoft Project 2003-2007
Wolfgang J. Paul
12 years ago - 44:05

Model checking, theorem proving, and abstract
Thomas Henzinger
12 years ago - 41:21

Panel: Pan-European collaboration
12 years ago - 1:00:11