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

News

SysV: the second lecture is out

Written: 05.12.2021 10:49
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.

Supplementary materials:

  • Lecture notes (link)
  • Rely-Guarantee style reasoning (link)
  • Compositional noninterference (link)

Please make sure to check the lecture before our Q&A session on Wednesday (Dec. 8).



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