Week | Monday, 12-1, WB130 | Wednesday, 11-12, WB119 | Friday, 12-1, WB119 | Lab |
Week 1 | -- | -- | Administration and course organization.
Assignment 0 out |
-- |
Week 2 | Introduction and motivation | Software architectures
Assignment 1 out |
Software architectures
Assignment 0 due |
TBA |
Week 3 | Software architectures | Software architectures | Software architectures | TBA |
Week 4 | Software architectures | Boolean logic
Assignment 2 out |
Boolean logic
Assignment 1 due |
TBA |
Week 5 | Predicate logic | Predicate logic | Predicate logic | TBA |
Week 6 | Theorem proving | Theorem proving | Theorem proving | TBA |
Week 7 | Theorem proving | Theorem proving
Assignment 3 out |
Theorem proving
Assignment 2 due |
TBA |
Week 8 | Reading week. No class | -- | -- | -- |
Week 9 | Theorem proving | Theorem proving | Theorem proving | TBA
Tool demo |
Week 10 | Temporal logic | Temporal logic | Temporal logic | TBA |
Week 11 | Model checking | Model checking
Assignment 4 out |
Model checking
Assignment 3 due |
TBA
SMV tool demo |
Week 12 | Model checking | Model checking | Model checking | TBA |
Week 13 | Model checking | Model checking
Assignment 5 out |
Model checking
Assignment 4 due |
TBA |
Week 14 | Design patterns | Design patterns | Design patterns | TBA |
Week 15 | Design patterns | Wrap-up
Assignment 5 due |
-- | TBA |