23.4.2015 Software Verifikation 1 Deduktive Verifikation Prof. Dr. Holger Schlingloff Institut für Informatik der Humboldt Universität und Fraunhofer Institut.