SysV: the second lecture is out
Modified: 05.12.2021 13:47 Written By: Hamed Nemati
The second lecture is available now: link (https://drive.google.com/file/d/1-UyTwzaubGD_A9YU4_cG1M8Z15sWAvnN/view?usp=sharing). This lecture we talk about compositional reasoning and learn about some of the techniques that are used in practice to decompose large scale system verification.
Please make sure to check the lecture before our Q&A session on Wednesday (Dec. 8).