Übung: 2.01.803-B Praktikum Softwareverifikation - Details

Übung: 2.01.803-B Praktikum Softwareverifikation - Details

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Übung: 2.01.803-B Praktikum Softwareverifikation
Untertitel inf803
Veranstaltungsnummer 2.01.803-B
Semester WiSe21/22
Aktuelle Anzahl der Teilnehmenden 6
erwartete Teilnehmendenanzahl 12
Heimat-Einrichtung Department für Informatik
Veranstaltungstyp Übung in der Kategorie Lehre
Erster Termin Freitag, 29.10.2021 10:15 - 11:45, Ort: A03 4-404
Art/Form Ü
Lehrsprache deutsch

Räume und Zeiten

A03 4-404
Freitag: 10:15 - 11:45, wöchentlich (12x)

Modulzuordnungen

Kommentar/Beschreibung

Das Praktikum Softwareverifikation besteht aus einem Vorlesungsteils, in dem eine Einführung in die Softwareverifikation und eventuell eine kurze Einführung in Python gegeben wird, sowie einem Projektteil, in dem die Teilnehmenden in Teams Komponenten eines Verifikationsframeworks implementieren. Die Einteilung in Vorlesungs- und Projektteil wird flexibel gehandhabt.

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.