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 |

Back to 450 homepage. Last modified on December 14, 2000