Differences
This shows you the differences between two versions of the page.
|
schedule [2019/09/04 19:03] xyzhang |
schedule [2019/09/09 23:20] (current) xyzhang |
||
|---|---|---|---|
| Line 8: | Line 8: | ||
| *Static analysis[[http://www.cs.purdue.edu/homes/xyzhang/fall19/4-static-analysis.pdf|Slides]] | *Static analysis[[http://www.cs.purdue.edu/homes/xyzhang/fall19/4-static-analysis.pdf|Slides]] | ||
| ***Week 4** (9/9) | ***Week 4** (9/9) | ||
| - | *Symbolic analysis and testing | + | *Symbolic analysis and testing[[http://www.cs.purdue.edu/homes/xyzhang/fall19/5-symbolic.pdf|Slides]] |
| ***Week 5** (9/16) | ***Week 5** (9/16) | ||
| *Verification | *Verification | ||
