Tentative Schedule
- Week 1 (8/19)
- Week 2 (8/26)
- Dynamic analysisSlides
- Week 3 (9/2)
- Static analysisSlides
- Week 4 (9/9)
- Symbolic analysis and testingSlides
- Week 5 (9/16)
- Verification
- Week 6 (9/23, instructor travel)
- Paper discussion
- Week 7 (9/30)
- Paper discussion
- Week 8 (10/7, October break on 7 and 8)
- Project proposal presentations (10 mins each)
- Week 9 (10/14, midterm)
- Paper discussion
- Week 10 (10/21)
- Paper discussion
- Week 11 (10/28)
- Paper discussion
- Week 12 (11/4, instructor travels)
- Paper discussion
- Week 13 (11/11, instructor travels)
- Paper discussion
- Week 14 (11/18)
- Paper discussion
- Week 15 (11/25, 27-30 thanksgiving break)
- Paper discussion
- Week 16 (12/2)
- Project presentations and demos