CISC422/853: Formal Methods in Software Engineering: Computer-aided Verification (Winter 2009) Schedules [Home] [Content] [Schedule] [Readings] [Assignments] [Tools] [Projects] [Messages]

Tentative schedule for lectures

• Week 1 (Jan 5 - 8): Intro
• Week 2 (Jan 12 - 15): Concurrency
• Week 3 (Jan 19 - 22): Modeling, Intro to BIR and Bogor (A1 out)
• Week 4 (Jan 26 - 29): Intro to BIR and Bogor, Model checking I, Intro to Promela and Spin
• Week 5 (Feb 2 - 5): Intro to Promela and Spin, Specifying (A2 out)
• Week 6 (Feb 9 - 12): Specifying
• Feb 16 - 20: Reading week (no class)
• Week 7 (Feb 23 - 26): Specifying
• Week 8 (Mar 2 - 5): Model checking II
• Week 9 (Mar 9 - 12): Optimization (A3 out, project proposals due for grad students)
• Week 10 (Mar 16 - 19): Optimization (A4 out)
• Week 11 (Mar 23 - 26): Overview over model checking tools with demo of VeriSoft
• Week 12 (Mar 30 - Apr 2): Summary and buffer
  • No class on Monday, March 30
• April 6 - 10: Project presentations (for grad students)

Tentative schedule for tutorials

• Tutorial 1: Wed, Jan 28, 2009
• Tutorial 2: Wed, Feb 11, 2009
• Tutorial 3: Wed, Mar 25, 2009