This shows you the differences between two versions of the page.
courses:av2009:main [2009/06/22 17:08] tsay |
courses:av2009:main [2009/06/24 11:32] (current) tsay |
||
---|---|---|---|
Line 4: | Line 4: | ||
===== Announcements ===== | ===== Announcements ===== | ||
+ | * 6/23: belated slides for Automata-Theoretic Approach available | ||
* 6/22: slides for Compositional Reasoning and Infinite-State Systems available | * 6/22: slides for Compositional Reasoning and Infinite-State Systems available | ||
* 5/23: slides for Bounded Model Checking available | * 5/23: slides for Bounded Model Checking available | ||
Line 48: | Line 49: | ||
* Model Checking μ-Calculus [CGP: Ch. 7] (1 week: 4/1) [{{courses:av2009:mu_calculus.pdf|slides}}] | * Model Checking μ-Calculus [CGP: Ch. 7] (1 week: 4/1) [{{courses:av2009:mu_calculus.pdf|slides}}] | ||
* Symbolic Model Checkers [CGP: Ch. 8; SP; CN] (1 week: 4/8) [{{courses:av2009:symbolic_model_checkers.pdf|slides}}] | * Symbolic Model Checkers [CGP: Ch. 8; SP; CN] (1 week: 4/8) [{{courses:av2009:symbolic_model_checkers.pdf|slides}}] | ||
- | * Automata-Theoretic Approach [CGP: Ch. 9; BK: Ch. 4.3,4.4,5; H: Ch. 6; MP: Ch. 5.1] (1 week: 4/15) | + | * Automata-Theoretic Approach [CGP: Ch. 9; BK: Ch. 4.3,4.4,5; H: Ch. 6; MP: Ch. 5.1] (1 week: 4/15) [{{courses:av2009:automata_theoretic_approach.pdf|slides}}] |
* The Spin Model Checker [H: Ch. 3, 4, 7, 12] (1 week: 4/22) [{{courses:av2009:the_spin_model_checker.pdf|slides}}] | * The Spin Model Checker [H: Ch. 3, 4, 7, 12] (1 week: 4/22) [{{courses:av2009:the_spin_model_checker.pdf|slides}}] | ||
- | * Partial Order Reduction [CGP: Ch. 10; BK: Ch. 8] (1 week: 4/29) | + | * Partial Order Reduction [CGP: Ch. 10; BK: Ch. 8] (1 week: 4/29) (cancelled to leave time for other topics) |
* Equivalences and Abstraction [CGP: Ch. 11,13; BK: Ch. 7; SP] (1 week: 5/6) [{{courses:av2009:abstraction.pdf|slides}}] | * Equivalences and Abstraction [CGP: Ch. 11,13; BK: Ch. 7; SP] (1 week: 5/6) [{{courses:av2009:abstraction.pdf|slides}}] | ||
* Satisfiability Solving and Tools [SP; CN] (1 week: 5/13) [{{courses:av2009:sat.pdf|slides}}] | * Satisfiability Solving and Tools [SP; CN] (1 week: 5/13) [{{courses:av2009:sat.pdf|slides}}] |