This shows you the differences between two versions of the page.
courses:sdm2022:main [2022/06/07 16:52] tsay2 [Announcements] |
courses:sdm2022:main [2022/06/07 16:53] (current) tsay2 [Syllabus/Schedule (with links to slides/notes)] |
||
---|---|---|---|
Line 86: | Line 86: | ||
* **Term Project: Final Presentations (2022/05/25)** | * **Term Project: Final Presentations (2022/05/25)** | ||
* **Final Exam (2022/06/01)** | * **Final Exam (2022/06/01)** | ||
- | * **Formal Verification: Verification Tools** (1 week: 06/08)\\ Verification of programs with Frama-C and ACSL \\ [{{courses:sdm2022:frama-c.pdf|slides}}] | + | * **Formal Verification: Verification Tools** (1 week: 06/08)\\ Verification of programs with Frama-C and ACSL \\ [{{courses:sdm2022:frama-c_acsl.pdf|slides}}] |
* **Wrap-Up Discussions** (1 week: 06/15) | * **Wrap-Up Discussions** (1 week: 06/15) | ||