Reasoning about Software in an Unreasonable World

Abstract

The degree of dependability increases, and so does the need to
provide guarantees about the workings of a software system. But what if
reality cannot be modeled or if it damages the software system? In this
talk I exemplify incomplete or hostile environments and show how formal
reasoning still may prevail.

Biography

Sibylle Schupp is professor and head of the Institute of Software
Systems at Hamburg University of Technology (TUHH). Before joining TUHH,
she was Associate Professor at Chalmers Technical University in
Gothenburg, Sweden, and Assistant Professor at Rensselaer in NY, USA.