This seminar covers different approaches for actor-based modelling and formal analysis of software systems.

Kick-off meeting

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.