Formal Methods in Security Vassena, Nemati, K√ľnnemann

News

Second part of the course starts ...

Written: 29.11.2020 10:22 Written By: Hamed Nemati

This week we start with the second part of the course, which covers topics related to system verification (SysV). As it is announced before this part of the course will be given by recorded lectures (plus supplementary materials including lecture notes and other useful documents) which will be available at the beginning  of each week. On Wednesdays we will meet to check the important  points together to clarify parts which are not clear and we will also try to answer your questions and talk about exercises. The communication will be done through Rockchat #sysv channel, so please join the channel and ask your questions there. Organisation of the course is available here, where we also publish links to the course materials.



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