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/11/20 13:58]
tsay2 [Announcements]
courses:ssv2024:main [2025/01/06 21:30] (current)
tsay2 [Announcements]
Line 3: Line 3:
  
 ===== Announcements ===== ===== Announcements =====
 +  * 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.
 +  * 11/27: slides for UNITY and Temporal Verification available.
 +  * 11/27: slides for the Owicki-Gries Method available.
   * 11/20: {{courses:​ssv2024:​termproject.pdf|Term Project}}: proposals due 12/13 and final results due 12/27.   * 11/20: {{courses:​ssv2024:​termproject.pdf|Term Project}}: proposals due 12/13 and final results due 12/27.
   * 11/20: slides and an example for Using Frama-C available.   * 11/20: slides and an example for Using Frama-C available.
courses/ssv2024/main.1732082337.txt.gz ยท Last modified: 2024/11/20 13:58 by tsay2