User Tools
courses:ssv2014:main
Differences
This shows you the differences between two versions of the page.
|
courses:ssv2014:main [2014/12/24 20:56] tsay [Announcements] |
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 Temporal Verification available. | ||
| - | * 12/24: slides for Hoare Logic (III) and for UNITY 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. | ||
courses/ssv2014/main.1419425773.txt.gz ยท Last modified: 2014/12/24 20:56 by tsay
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
