SysV: the second lecture is out
Written on 06.12.2020 11:38 by Hamed Nemati
The second lecture is available now: link (https://dl.cispa.de/s/ct8Jo4iMwC3bogT). 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. 9).