Vorlesung: 2.01.803 Praktikum Softwareverifikation - Details

Vorlesung: 2.01.803 Praktikum Softwareverifikation - Details

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: 2.01.803 Praktikum Softwareverifikation
Untertitel inf803
Veranstaltungsnummer 2.01.803
Semester WiSe21/22
Aktuelle Anzahl der Teilnehmenden 10
erwartete Teilnehmendenanzahl 12
Heimat-Einrichtung Department für Informatik
Veranstaltungstyp Vorlesung in der Kategorie Lehre
Erster Termin Mittwoch, 20.10.2021 12:15 - 13:45, Ort: A05 1-159
Art/Form VL+Ü
Lehrsprache deutsch

Räume und Zeiten

A05 1-159
Mittwoch: 12:15 - 13:45, wöchentlich (14x)

Modulzuordnungen

Kommentar/Beschreibung

Das Praktikum Softwareverifikation besteht aus einem Vorlesungsteils, in dem eine Einführung in die Softwareverifikation gegeben wird und beispielhaft Analysen beschrieben werden, sowie einem Projektteil, in dem die Teilnehmenden in Teams eine Softwareanalyse selber implementieren und evaluieren. Die Einteilung in Vorlesungs- und Projektteil wird flexibel gehandhabt.
Die Implementierungssprache ist Java.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist gesperrt.
Zurück