Endowed professorship for reliable software systems in the automotive industry

Proseminar Werkzeuge und Methoden der Software-Analyse

  • type: Proseminar (PS)
  • semester: WS 19/20
  • time: 18.10.2019
    14:00 - 15:30 wöchentlich
    50.34 Raum 131
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten


    25.10.2019
    14:00 - 15:30 wöchentlich
    50.34 Raum 131
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    08.11.2019
    14:00 - 15:30 wöchentlich
    50.34 Raum 131
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    15.11.2019
    14:00 - 15:30 wöchentlich
    50.34 Raum 131
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    22.11.2019
    14:00 - 15:30 wöchentlich
    50.34 Raum 131
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    29.11.2019
    14:00 - 15:30 wöchentlich
    50.34 Raum 131
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    06.12.2019
    14:00 - 15:30 wöchentlich
    50.34 Raum 131
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    13.12.2019
    14:00 - 15:30 wöchentlich
    50.34 Raum 131
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    20.12.2019
    14:00 - 15:30 wöchentlich
    50.34 Raum 131
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    10.01.2020
    14:00 - 15:30 wöchentlich
    50.34 Raum 131
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    17.01.2020
    14:00 - 15:30 wöchentlich
    50.34 Raum 131
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    24.01.2020
    14:00 - 15:30 wöchentlich
    50.34 Raum 131
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    31.01.2020
    14:00 - 15:30 wöchentlich
    50.34 Raum 131
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    07.02.2020
    14:00 - 15:30 wöchentlich
    50.34 Raum 131
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten


  • lecturer: Prof. Dr. Carsten Sinz
  • sws: 2
  • lv-no.: 2400088
Beschreibung

Das Proseminar gibt eine Einführung in verschiedene Werkzeuge und Methoden der Software-Analyse. Diese hat zum Ziel, Fehler automatisiert zu finden (Bug Finding) oder deren Abwesenheit zu beweisen (Verifikation).

Anhand einzelner Vorträge sollen verschiedene Werkzeuge und Methoden zur automatisierten Fehlersuche für eine Reihe von Programmiersprachen vorgestellt werden.

Jeder Vortrag besteht aus der Vorstellung eines Werkzeugs, der Beschreibung der dahinterstehenden theoretischen Methode sowie einfachen Anwendungsbeispielen.

Je nach Teilnehmerzahl findet das Proseminar wöchentlich während des Semesters oder als Blockseminar am Ende des Wintersemesters statt.

In einer Vorbesprechung in der ersten Semesterwoche werden die Themen vorgestellt und verteilt.

Eine Anmeldung ist erforderlich.