Differences

This shows you the differences between two versions of the page.

--- courses:sdm2022:main [2022/05/02 23:15]
tsay2 [Syllabus/Schedule (with links to slides/notes)]
+++ courses:sdm2022:main [2022/06/07 16:53] (current)
tsay2 [Syllabus/Schedule (with links to slides/notes)]
@@ Line 3: / Line 3: @@
 ===== Announcements =====
+  * 06/07: slides for Frama-C and ACSL available.
+  * 05/02: review form for the final presentations: {{courses:sdm2022:Presentations_final.docx|Evaluation by Individual Reviewer}}.
+  * 05/02: review form for the complete system demos: {{courses:sdm2022:Presentations_democomplete_checklist.docx|Check List}}.
+  * 05/18: {{courses:sdm2022:hw5.pdf|HW#5}} due 11:59PM 05/31.
+  * 05/17: slides for Hoare Logic available.
+  * 05/11: slides for Logic available.
   * 05/02: review forms for the second preliminary demos: {{courses:sdm2022:Presentations_demo2.docx|Evaluation by Individual Reviewer}} and {{courses:sdm2022:Presentations_demo2_comments.docx|Team-for-Team Comments}}.
   * 04/27: slides for Software Testing available.
@@ Line 80: / Line 86: @@
   * **Term Project: Final Presentations (2022/05/25)**
   * **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)

Yih-Kuen Tsay's Wiki @ IM.NTU