Aktuelle Modulbeschreibung (WiSe 2022/23)

Im aktuellen Semester gilt folgende Modulversion

Modultitel Applied Verification of C-Programs
Leistungspunkte 3 LP
Benotung benotet
Prüfungsform Portfolioprüfung

Zugehörigkeit

Dieses Modul ist folgenden Organisationseinheiten zugeordnet:

Fakultät Fakultät IV
Institut Institut für Softwaretechnik und Theoretische Informatik
Fachgebiet 34351800 FG Software and Embedded Systems Engineering (SESE)
Prüfungsausschuss keinem Prüfungsausschuss zugeordnet

Modulbeschreibungen

Die Modulbeschreibungen können sich im Laufe der Zeit ändern. Um die Änderungen transparent und nachvollziehbar darzustellen, werden die Modulbeschreibungen versioniert und gelten je nach Freigabe für verschiedene Semester(zeiträume). Im Normalfall sollte es nur eine freigegebene Version für ein Semester geben. Dieses Modul enthält 3 freigegebene Modulbeschreibungen. Alle nicht mehr oder noch nicht gültigen Modulbeschreibungen sind ausgegraut.

ModultitelLPVerantwortliche*rSpracheGültig abGültig bis einschl.
Applied Verification of C-Programs3Glesner, SabinedeSoSe 2022offen
Applied Verification of C-Programs3Glesner, SabinedeSS 2017WiSe 2021/22
Verifikation von C-Programmen in der Praxis3Glesner, SabinedeSS 2016WS 2016/17