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
Time and location of all tutorials: 4:30-6pm, Goodwin 248