Handbook and Kickoff Slides available
I have added the slides of our kickoff meeting and a link to the Handbook of Model Checking under Information>Materials.
If you have problems accessing the handbook (should work with a VPN to UdS), please let us know ASAP. The same holds if you have any other questions regarding the proseminar :)
See you next week!