This course deepens the understanding of the topics in the course "6.0 VU Formal Methods in Computer Science" by offering additional exercises.
The course presents exercises for the following topics:
FIRST MEETING: 9.October 2018, 9:00 (s.t.), EI8
For each of the topics, there will be an exercise sheet. Students submit their solutions in tuwel and these solutions are graded.