This shows you the differences between two versions of the page.
courses:ssv2009:main [2010/01/15 17:13] tsay |
courses:ssv2009:main [2010/01/15 17:15] (current) tsay |
||
---|---|---|---|
Line 3: | Line 3: | ||
===== Announcements ===== | ===== Announcements ===== | ||
+ | * Jan. 15: slides for Compositional Reasoning available. | ||
* Dec. 23: solutions to {{courses:ssv2009:hw1s.pdf|HW#1}}, {{courses:ssv2009:hw2s.pdf|HW#2}}, and {{courses:ssv2009:hw3s.pdf|HW#3}} available. | * Dec. 23: solutions to {{courses:ssv2009:hw1s.pdf|HW#1}}, {{courses:ssv2009:hw2s.pdf|HW#2}}, and {{courses:ssv2009:hw3s.pdf|HW#3}} available. | ||
* Dec. 16: slides for Temporal Verification available. | * Dec. 16: slides for Temporal Verification available. |