This seminar covers different approaches for actor-based modelling and formal analysis of software systems.
The first meeting
will take place on the 12.04 at 11:00 o’clock in S2|02 room A126.
Attendance to the first meeting is mandatory for all students that
want to participate. Here we will go into detail about the individual topics, as well as the grading.