Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname	Vorlesung: 2.01.803-B Praktikum Softwareverifikation
Untertitel	inf803
Veranstaltungsnummer	2.01.803-B
Semester	WiSe22/23
Aktuelle Anzahl der Teilnehmenden	3
erwartete Teilnehmendenanzahl	12
Heimat-Einrichtung	Department für Informatik
Veranstaltungstyp	Vorlesung in der Kategorie Lehre
Erster Termin	Dienstag, 18.10.2022 16:15 - 17:45, Ort: (A02 3-334)
Art/Form	V+Ü
Lehrsprache	deutsch

Lehrende

Räume und Zeiten

(A02 3-334): Dienstag: 16:15 - 17:45, wöchentlich (14x); Mittwoch: 10:15 - 11:45, wöchentlich (14x); Donnerstag: 14:15 - 15:45, wöchentlich (14x)

Modulzuordnungen

Kommentar/Beschreibung

Das Praktikum Softwareverifikation besteht aus einem Vorlesungsteils, in dem eine Einführung in die Softwareverifikation 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.

Zurück

Vorlesung: 2.01.803-B Praktikum Softwareverifikation - Details