|
Date |
Lecture Slides |
Additional Readings and Notes |
| 27 |
12/07 (Wed) |
Turing Award Lecture
[pdf]
|
2007 ACM Turing Award Lecture: "Model checking: Algorithmic Verification and Debugging" [pdf]
|
| 26 |
12/05 (Mon) |
CBMC
[pdf,
pptx]
|
CBMC examples [rar]
|
| na |
12/02 (Fri) |
Recitation on Partial Order Reduction
[pdf]
|
|
| 25 |
11/30 (Wed) |
Software Verification with BLAST
[ppt]
|
BLAST Web Site
|
| 24 |
11/28 (Mon) |
Software Verification using Predicate Abstraction and Iterative Refinement
[pdf,
ppt]
|
|
| 23 |
11/21 (Mon) |
Partial Order Reduction (cont'd)
[pdf]
|
|
| 22 |
11/16 (Wed) |
Partial Order Reduction (cont'd)
[pdf]
|
|
| 21 |
11/14 (Mon) |
Partial Order Reduction
[pdf]
|
|
| 20 |
11/09 (Wed) |
Abstract Interpretation
[pdf]
|
|
| 19 |
11/07 (Mon) |
Order Theory and Galois Connections
[pdf]
|
|
| 18 |
11/02 (Wed) |
SPIN Model Checker - Part 2
[pdf,
pptx]
|
SPIN example code [zip]
|
| 17 |
10/31 (Mon) |
SPIN Model Checker - Part 1
[pdf,
pptx]
|
SPIN example code [zip]
|
| 16 |
10/26 (Wed) |
Automata-theoretic LTL Model Checking
[pdf]
|
|
| 15 |
10/24 (Mon) |
SMV - Part 2 (cont'd)
|
|
| 14 |
10/19 (Wed) |
SMV - Part 2
[pptx,
pdf]
|
NuSMV example code
[zip]
|
| 13 |
10/12 (Wed) |
SMV - Part 1
[pptx,
pdf]
|
NuSMV v2.5 Tutorial [pdf] |
| 12 |
10/10 (Mon) |
Model Checking
[pdf]
|
Chapter 6, Textbook (Model Checking)
|
| 11 |
10/5 (Wed) |
Computation Tree Logics
[pdf]
|
|
| 10 |
10/03 (Mon) |
Tarski's Fixed Point Lemma (cont'd)
|
|
| 9 |
9/28 (Wed) |
Tarski's Fixed Point Lemma [pdf]
|
|
| 8 |
9/26 (Mon) |
Symbolic Model Checking
[pdf]
|
|
| 7 |
9/21 (Wed) |
Model Checking - Part 2
[pdf,
ppt]
|
|
| 6 |
9/19 (Mon) |
Model Checking - Part 1
[pdf,
ppt]
|
|
| 5 |
9/14 (Wed) |
Binary Decision Diagrams - Part 2
[pdf,
ppt]
|
|
| 4 |
9/12 (Mon) |
Binary Decision Diagrams - Part 1
[pdf,
ppt]
|
Graph-Based Algorithms for Boolean Function Manipulation [pdf]
|
| 3 |
9/07 (Wed) |
GRASP continued. (There wasn't time to discuss Chaff, but if you're interested, the slides are posted:
[pdf,
ppt])
|
|
| 2 |
8/31 (Wed) |
SAT Solvers: GRASP
[pdf,
ppt] (slides updated Sept 7)
|
|
| 1 |
8/29 (Mon) |
Propositional Logic
[pdf]
|
|
