This shows you the differences between two versions of the page.
courses:av2010:main [2010/05/18 14:11] tsay |
courses:av2010:main [2010/06/03 08:25] (current) tsay |
||
---|---|---|---|
Line 3: | Line 3: | ||
===== Announcements ===== | ===== Announcements ===== | ||
+ | * 6/03: slides for SAT Solving and Tools available | ||
+ | * 5/26: slides for Compositional Reasoning available | ||
+ | * 5/26: {{courses:av2010:hw2.pdf|HW#2}} due on June 9 | ||
+ | * 5/19: slides for Equivalences and Abstraction available | ||
+ | * 5/19: slides for SPIN available | ||
+ | * 5/18: slides and note for Symbolic Model Checkers available | ||
* 4/28: slides for Automata-Theoretic Approach available | * 4/28: slides for Automata-Theoretic Approach available | ||
* 4/21: slides for Model Checking mu-Calculus available | * 4/21: slides for Model Checking mu-Calculus available |