Handbook and Kickoff Slides available

Written on 13.11.2020 11:37 by Swen Jacobs

Dear students,

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!

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.