Differences

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

--- courses:ssv2020:main [2020/11/25 22:27]
tsay2 [Syllabus/Schedule (with links to slides/notes)]
+++ courses:ssv2020:main [2021/11/09 09:38] (current)
tsay2 [Announcements]
@@ Line 3: / Line 3: @@
 ===== Announcements =====
+  * 01/24: grade report available; please send inquiries, if any, to the instructor by 2PM 01/25 (Mon).
+  * 01/06: solutions to homework assignments final update: {{courses:ssv2020:hw5_s.pdf|HW#5}}.
+  * 01/05: {{courses:ssv:old_exams.zip|old exams}}.
+  * 01/03: solutions to HW#4 updated.
+  * 01/02: solutions to HW#1 updated.
+  * 12/30: solutions to homework assignments: {{courses:ssv2020:hw1_s.pdf|HW#1}}, {{courses:ssv2020:hw2_s.pdf|HW#2}}, {{courses:ssv2020:hw3_s.zip|HW#3}}, {{courses:ssv2020:hw4_s.pdf|HW#4}}, {{courses:ssv2020:hw6_s.zip|HW#6}}
+  * 12/23: slides for Compositional Reasoning available.
+  * 12/23: {{courses:ssv2020:hw7.pdf|HW#7}} for exercise (no credit).
+  * 12/09: {{courses:ssv2020:hw6.pdf|HW#6}} due on 12/17 at 5PM.
+  * 12/09: slides for the Temporal Verification available.
+  * 12/02: slides for the Owicki-Gries Method and for UNITY available.
+  * 11/25: {{courses:ssv2020:hw5.pdf|HW#5}} due on 12/02.
+  * 11/25: All examples in the lecture on Why3 available.
   * 11/25: [[https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf|Introduction to C program proof with Frama-C and its WP plugin]], by Allan Blanchard.
   * 11/25: slides for Frama-C and Why3 available.

Yih-Kuen Tsay's Wiki @ IM.NTU