Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Software Innovation
Campus Paderborn
Einführung in das 1. SICP Symposium. v.l.: Prof. Dr. Gregor Engels, Prof. Dr. René Fahr, Christoph Plass und Dr. Stefan Sauer Bildinformationen anzeigen
Fachtagung "Future Industrial Communication" in Berlin: Dr. Simon Oberthür, R&D Manager im SICP an der Universität Paderborn, im Gespräch mit Teilnehmern. Foto: MIKA-fotografie | Berlin Bildinformationen anzeigen
Fachtagung "Future Industrial Communication" in Berlin: Prof. Johannes Blömer, Universität Paderborn, Ina Karabasz, Handelsblatt, Dr. Heike Prasse, BMBF, Dr. Lutz Stobbe, Fraunhofer IZM, Dr. Gunnar Schomaker, SICP - Software Innovation Campus Paderborn (v. l.). Foto: MIKA-Fotografie Berlin Bildinformationen anzeigen
Freuen sich über den 2. Platz bei der EFMD Preisverleihung (v. l.): Peter Thornton, Amanda Bamford, Judith Shawcross, Simon Oberthür und Sven Geerts. Foto: EFMD Bildinformationen anzeigen
Ende August 2018 lud der SICP im Rahmen des Kompetenzzentrums „Digital in NRW“ zum Netzwerktreffen „360°dc*Lounge @ innovatives e“ ein. Veranstalter war die WestfalenWIND IT GmbH aus Paderborn. 100 IT- Experten aus Deutschland kamen zusammen, um innovative Datacenter- Konzepte „Made in Germany“ kennenzulernen. Foto: Nina Schwenniger, SICP Bildinformationen anzeigen
Blick in den Innenhof des Heinz Nixdorf Instituts aus den Büroräumen der Geschäftsstelle des SICP - Software Innovation Campus Paderborn. Foto: Julia Negri Bildinformationen anzeigen
Die Projektpartner des Forschungs- und Entwicklungsprojekts „FlexiEnergy“ beim Kick-off am 11. September 2018 in Paderborn. Der SICP ist Konsortialführer des Projekts. Foto: Dr. Thim Strothmann, SICP Bildinformationen anzeigen
Prof. Johannes Blömer, Universität Paderborn, bei der Begrüßung zur Tagung "Future Industrial Communication" am 11. September 2018 in Berlin. Foto: MIKA-fotografie | Berlin, www.mika-fotografie.berlin Bildinformationen anzeigen
Mitglieder des SICP - Software Innovation Campus Paderborn. Der SICP besteht aus dem Software Innovation Lab (SI-Lab) auf Seiten der Universität Paderborn, den Innovation Labs oder Projektmitarbeitenden auf Seite der Unternehmen und außeruniversitären Forschungseinrichtungen. Foto: SICP Bildinformationen anzeigen

Einführung in das 1. SICP Symposium. v.l.: Prof. Dr. Gregor Engels, Prof. Dr. René Fahr, Christoph Plass und Dr. Stefan Sauer

Fachtagung "Future Industrial Communication" in Berlin: Dr. Simon Oberthür, R&D Manager im SICP an der Universität Paderborn, im Gespräch mit Teilnehmern. Foto: MIKA-fotografie | Berlin

Fachtagung "Future Industrial Communication" in Berlin: Prof. Johannes Blömer, Universität Paderborn, Ina Karabasz, Handelsblatt, Dr. Heike Prasse, BMBF, Dr. Lutz Stobbe, Fraunhofer IZM, Dr. Gunnar Schomaker, SICP - Software Innovation Campus Paderborn (v. l.). Foto: MIKA-Fotografie Berlin

Freuen sich über den 2. Platz bei der EFMD Preisverleihung (v. l.): Peter Thornton, Amanda Bamford, Judith Shawcross, Simon Oberthür und Sven Geerts. Foto: EFMD

Ende August 2018 lud der SICP im Rahmen des Kompetenzzentrums „Digital in NRW“ zum Netzwerktreffen „360°dc*Lounge @ innovatives e“ ein. Veranstalter war die WestfalenWIND IT GmbH aus Paderborn. 100 IT- Experten aus Deutschland kamen zusammen, um innovative Datacenter- Konzepte „Made in Germany“ kennenzulernen. Foto: Nina Schwenniger, SICP

Blick in den Innenhof des Heinz Nixdorf Instituts aus den Büroräumen der Geschäftsstelle des SICP - Software Innovation Campus Paderborn. Foto: Julia Negri

Die Projektpartner des Forschungs- und Entwicklungsprojekts „FlexiEnergy“ beim Kick-off am 11. September 2018 in Paderborn. Der SICP ist Konsortialführer des Projekts. Foto: Dr. Thim Strothmann, SICP

Prof. Johannes Blömer, Universität Paderborn, bei der Begrüßung zur Tagung "Future Industrial Communication" am 11. September 2018 in Berlin. Foto: MIKA-fotografie | Berlin, www.mika-fotografie.berlin

Mitglieder des SICP - Software Innovation Campus Paderborn. Der SICP besteht aus dem Software Innovation Lab (SI-Lab) auf Seiten der Universität Paderborn, den Innovation Labs oder Projektmitarbeitenden auf Seite der Unternehmen und außeruniversitären Forschungseinrichtungen. Foto: SICP

| Juuli Eckstein

Vortrag von Prof. Dr. Dirk Beyer von der LMU München am 19.02.20

Am Mittwoch, den 19. Februar, um 16:00 Uhr wird Prof. Dr. Dirk Beyer von der Ludwig-Maximilians-Universität München einen Vortrag zum Thema „Software Verification – An Overview of the State of the Art“ in O4.267 halten. 
Dirk Beyer ist Professor der Informatik und Inhaber des Lehrstuhls für Softwaresysteme an der LMU München. Zuvor war er von 2009 bis 2016 Lehrstuhlinhaber an der Universität Passau. Sein Studium der Informatik und die anschließende Promotion erfolgten an der Technischen Universität Cottbus. 2003 sammelte er als Postdoctoral Researcher Erfahrungen an der University of California, Berkeley (USA), bevor er dann von 2004 bis 2006 an der Eidgenössischen Technischen Hochschule Lausanne in der Schweiz forschte. 2006 trat er seine erste Stelle als Professor an der kanadischen Simon Fraser University in Vancouver an. 
Seine Forschungsschwerpunkte sind Modelle, Algorithmen und Tools für die Errichtung und Analyse von verlässlichen Softwaresystemen. Mit CrocoPat entwickelte er den ersten effizienten Interpreter für relationale Programmierung und arbeitete unter anderem am Verifikationswerkzeug für die Software BLAST.

In seinem Abstract erläutert er seinen Vortragsgegenstand:

This presentation provides an overview of the techniques that are used in state-of-the-art tools for software verification. The advance of technology in automatic verification is visible via annual comparative evaluations in the area (competitions). We will have a look at techniques and tools that are currently in use. SMT-based approaches play a particularly important role, such as predicate abstraction, k-induction, bounded model checking, but also heap graphs, intervals, explicit-state model checking, slicing, and symbolic execution.

One of the lessons learned is that the next break through is not expected to come from yet another new single algorithm, data structure, or technique, but from cooperation of techniques. Cooperative approaches for software verification work together on solving the problem. That is, approaches share information about the verification progress in an exchangeable way via clear interfaces —with other tools and with engineers— ideally in a black-box manner. We give an overview over existing combination techniques.

Alle Interessierten sind herzlich eingeladen!