CS 5090: Lecture Schedule for spring 2008

Note: Please read each subject prior to its lecture!

Student presentations are represented by the Green!

 

Date

Class Topic

Reading assignments

Handouts

Task Due

Week 1

01/15

 Propositional logic

 

background survey/ motivating examples

 

01/17

 Propositional logic

Horror stories

 

01/29

Week 2

01/22

Predicate logic

Taxonomy on dependability/formal methods

 

02/05

01/24

Predicate logic

 

Predicate/modal logic

 

Week 3

01/29

Software horror stories

 

 

 

01/31

Modal/Temporal logic

 

 

 

Week 4

02/05

Taxonomy on dependable computing/ formal methods

 

 

Term project proposal/ paper summary

02/07

Linear/Branching time temporal logic

N-version prog./self-stabilization

 

 

Week 5

02/12

Branching temporal logic/

Abstract models of concurrent computing

 

 

 

02/14

Recovery blocks/

CTL Model checking

 

 

Paper summary

Week 6

02/19

Term project progress report

SPIN model checker/replicated state machines

 

Progress report

02/21

Term project progress report

 

 

Paper summary

Week 7

02/26

N-version programming/self-stabilization

 

 

 

02/28

Self-stabilization/ Correctness proof

 

 

 

Week 8

03/04

SPIN model checker

 

 

 

03/06

Replicated state machines

 

 

Paper summary

Week 9

03/11

Spring Break

 

 

 

03/13

Spring Break

 

 

 

Week 10

03/18

Characterizing program specifications

 

 

 

03/20

Automated Program Synthesis

 

 

 

Week 11

03/25

Automated Program Synthesis

 

 

 

03/27

Problem of adding fault tolerance

 

 

 

Week 12

04/01

Adding fault tolerance to concurrent programs

 

 

 

04/03

Adding fault tolerance to concurrent programs

 

 

 

Week 13

04/08

Adding fault tolerance to distributed programs

 

 

 

04/10

A software framework for adding fault tolerance

 

 

 

Week 14

04/15

A software framework for adding fault tolerance

 

 

 

04/17

Exception handling

 

 

 

week 15

04/22

3-valued logic for program analysis

 

 

 

04/24

Term project presentations