Modulcode:	Inf-FVSS
Englische Bezeichnung:	Formal Verification of Software Systems
Modulverantwortliche(r):	Prof. Dr. Dirk Nowotka
Turnus:	unregelmäßig
Präsenzzeiten:	2V 1Ü
ECTS:	4
Workload:	30 Std. Vorlesung, 15 Std. Präsenzübung, 75 Std. Selbststudium
Dauer:	ein Semester
Modulkategorien:	WO_approval (Sonstige)
Lehrsprache:	Deutsch
Voraussetzungen:

Kurzfassung:

Lernziele:

Lehrinhalte:

Weitere Voraussetzungen:

Prüfungsleistung:

Lehr- und Lernmethoden:

Verwendbarkeit:

Literatur:

Verweise:

Kommentar: