After successful completion of the course, students are able to:
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):