News
SysV: the third lecture is out
Written on 12.12.2021 11:33 by Hamed Nemati
The third lecture is available now: link (https://drive.google.com/file/d/192NHl94rTGki3Qedtq4BSvxKsxX2qFZY/view?usp=sharing). This lecture we talk about refinement based reasoning and learn how to use a step-wise approach to simplify verification of a large scale system.
Supplementary materials:
- Lecture notes (link)
- Simulation based refinement (link). Important sections are :
- section 2.1: Notions of semantic preservation
- section 3.4: Traces
- section 3.5: Transition semantics
- Confidentiality preserving refinement (link)
- [Optional] Example on how to apply refinement based verification on a real system (link)
Please make sure to check the lecture before our Q&A session on Wednesday (Dec. 15).