Model Checking: Techniques and Applications Swen Jacobs

News

Handbook and Kickoff Slides available

Written: 13.11.2020 11:37 Written 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