User Tools

Site Tools


courses:ssv2024:main

Differences

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

Link to this comparison view

courses:ssv2024:main [2024/12/03 23:23]
tsay2 [Announcements]
courses:ssv2024:main [2025/01/06 21:30] (current)
tsay2 [Announcements]
Line 3: Line 3:
  
 ===== Announcements ===== ===== Announcements =====
-  * 12/03: solutions to homework assignments:​ {{courses:​ssv2024:​hw4_s.pdf|HW#​4}},​ {{courses:​ssv2024:​hw5_s.pdf|HW#​5}}.+  ​* 2025/01/06: {{courses:​ssv2024:​ssv2024grade.pdf|grade report}} available; please send inquiries/​requests,​ if any, to the instructor by 5PM 1/7 (Tue.). 
 +  * 12/18: papers/​files for the {{courses:​ssv2024:​ssv2024final.pdf|final}} are due 5:30PM. 
 +  * 12/11: {{courses:​ssv:​old_exams.zip|old exams}}. 
 +  * 12/11: {{courses:​ssv2024:​hw7.pdf|HW#​7}} for exercise (not counted toward grade). 
 +  * 12/11: slides for Compositional Reasoning available. 
 +  ​* 12/03: solutions to homework assignments:​ {{courses:​ssv2024:​hw4_s.pdf|HW#​4}} ​(revised 12/04), {{courses:​ssv2024:​hw5_s.pdf|HW#​5}}.
   * 12/03: {{courses:​ssv2024:​hw6.pdf|HW#​6}} due on 12/11.   * 12/03: {{courses:​ssv2024:​hw6.pdf|HW#​6}} due on 12/11.
   * 11/27: slides for UNITY and Temporal Verification available.   * 11/27: slides for UNITY and Temporal Verification available.
courses/ssv2024/main.1733239406.txt.gz · Last modified: 2024/12/03 23:23 by tsay2