Allgemeine Informationen

Veranstaltungsname	Vorlesung: 2.01.803 Softwareverifikation (V)
Untertitel	inf803
Veranstaltungsnummer	2.01.803
Semester	WiSe23/24
Aktuelle Anzahl der Teilnehmenden	3
erwartete Teilnehmendenanzahl	12
Heimat-Einrichtung	Department für Informatik
Veranstaltungstyp	Vorlesung in der Kategorie Lehre
Erster Termin	Dienstag, 17.10.2023 10:00 - 12:00, Ort: A03 2-209
Art/Form	V+Ü
Lehrsprache	deutsch

Lehrende

Räume und Zeiten

A03 2-209: Dienstag: 10:00 - 12:00, wöchentlich (2x)
(A02 3-334): Dienstag: 10:00 - 12:00, wöchentlich (11x)

Modulzuordnungen

Kommentar/Beschreibung

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

Zurück