P4
Termin: 2. Sem.woche, folgt
Doz.: Stefan Leue et al.
Themengebiet: Informatik der Systeme / Grundlagen der Informatik
Adressaten:
Studierende des Information Engineering im Masterstudium
Inhalt:
This project course focusses on methods and tools for the formal
analysis of software systems. Project assignments can include the
development of software analysis tools as well as the application
of existing tools to the analysis of complex software system examples.
Literatur:
Wird im Kurs bekannt gegeben
Leistungsnachweis:
Project report and presentation of project results; participation
in the accompanying seminar "Modeling and Analysis of Software Systems"
Leistungspunkte:
Bei Bestehen des Leistungsnachweises
können 6 Punkte erworben werden.
