Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage:
The goal of this seminar is to introduce students to important research results in the area of software reliability, and in particular, program analysis, software engineering, and software security of regular software, machine-learning models, and smart contracts. To achieve this, the students will study, present, and discuss research papers in the area.
During this seminar, the students will
ECTS breakdown (3 ECTS = 75 hours):