This shows you the differences between two versions of the page.
courses:ssv2014:main [2014/12/18 20:58] tsay [Syllabus/Schedule (with links to slides/notes)] |
courses:ssv2014:main [2015/01/08 00:13] (current) tsay [Announcements] |
||
---|---|---|---|
Line 3: | Line 3: | ||
===== Announcements ===== | ===== Announcements ===== | ||
+ | * 01/08: solutions to homework assignments: {{courses:ssv2014:hw1s.pdf|HW#1}}, {{courses:ssv2014:hw2s.pdf|HW#2}}, {{courses:ssv2014:hw3s.pdf|HW#3}}. | ||
+ | * 01/02: {{courses:ssv:old_exams.zip|old exams}}. | ||
+ | * 12/25: slides for the B-Method available. | ||
+ | * 12/24: slides for Temporal Verification available. | ||
+ | * 12/24: slides for the Owicki-Gries Method and for UNITY available. | ||
* 12/18: {{courses:ssv2014:hw5.pdf|HW#5}} due on 2015/01/08. | * 12/18: {{courses:ssv2014:hw5.pdf|HW#5}} due on 2015/01/08. | ||
* 12/18: slides for Z available. | * 12/18: slides for Z available. |