Based on formal methods of computer science skills are taught which transcend sequential programming. In particular, this concerns parallel control flow under real-time conditions. An additional topic is the verification of non-functional properties of parallel programs.
6 ECTS = 150 hours
hours Purpose
20 lecture time
10 presentation of homework exercises
05 written tests
98 preparation of homeworks
42 post-processing of lectures, preparation for tests
The student has to be enrolled for at least one of the studies listed below
Skriptum vorhanden