Gastvortrag "System Verified - Can we go to the Beach now?" von Dr. Peter Höfner

Am 11.04.2016 hält Dr. Peter Höfner von Data61 (früher NICTA) ab 17:00 Uhr einen Gastvortrag in der Ringvorlesung des Elitestudiengangs Software Engineering. Das Thema lautet "System Verified - Can we go to the Beach now?". Der Vortrag findet in Raum 1055N statt.


Research papers, newspapers and other media regularly reports on verified and correct systems. Examples are seL4, a verified microkernel, which was proven to be functional correct, or the proofs that routing protocols do not contain routing loops. Usually, these results do not guarantee full correctness of the systems: sometimes the hardware is not specified, sometimes the formal mechanism is not connected to real implementations, sometimes important system properties are just not considered, etc.

In this talk I will discuss what it means that a system is verified. A tiny toy example will lead us to understand what would be needed for a system to fully verified. Verification challenges to be tackled to achieve full verification will be illustrated by case studies of industrial size. As summary, I will argue that even if systems are verified, we usually have no time to go to the beach.

Zum Vortrag sind alle herzlich eingeladen.

message of 04.04.2016