User Tools
courses:av2009:home
Differences
This shows you the differences between two versions of the page.
|
courses:av2009:home [2009/02/23 12:06] mhtsai208 created |
courses:av2009:home [2009/02/24 19:44] (current) tsay |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| ===== Announcements ===== | ===== Announcements ===== | ||
| + | * 2/24: slides for Introduction and Systems Modeling available | ||
| ===== Instructor ===== | ===== Instructor ===== | ||
| Line 29: | Line 30: | ||
| We shall seek a balance between breadth and depth, covering both the foundations and some of the more successful methods and tools. Below is a tentative list of topics and their schedule: | We shall seek a balance between breadth and depth, covering both the foundations and some of the more successful methods and tools. Below is a tentative list of topics and their schedule: | ||
| - | * Introduction [CGP: Ch. 1; BK: Ch. 1; H: Ch. 1] (.5 week: 2/18a) | + | * Introduction [CGP: Ch. 1; BK: Ch. 1; H: Ch. 1] (.5 week: 2/18a) [{{courses:av2009:introduction.pdf|slides}}] |
| - | * Systems Modeling [CGP: Ch. 2; BK: Ch. 2,3; H: Ch. 2; MP: Ch. 0.1-4] (.5 week: 2/18b) | + | * Systems Modeling [CGP: Ch. 2; BK: Ch. 2,3; H: Ch. 2; MP: Ch. 0.1-4] (.5 week: 2/18b) [{{courses:av2009:modeling.pdf|slides}}] |
| * Temporal Logic Model Checking [CGP: Ch. 3,4; BK: Ch. 6; MP: Ch. 5.2-3] (2 weeks: 2/25, 3/4) | * Temporal Logic Model Checking [CGP: Ch. 3,4; BK: Ch. 6; MP: Ch. 5.2-3] (2 weeks: 2/25, 3/4) | ||
| * Ordered Sets and Fixpoints [CN] (1 week: 3/11) | * Ordered Sets and Fixpoints [CN] (1 week: 3/11) | ||
courses/av2009/home.1235361984.txt.gz · Last modified: 2009/02/23 12:06 by mhtsai208
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
