------------------
Tentative Schedule
------------------

 9/ 5:  Overview of the course - il
 9/10:  Modeling Software Systems (Ch 4) - il
 9/12:  Specification formalisms (Ch 5) - il
 9/17:  Automatic verification (Ch 6) - os
 9/19:  Real-Time Scheduling - il
 9/24:  Process algebra (Ch 8, handout) - il
 9/26:  (RTAS) ACSR - jc
10/ 1:  Real-Time Scheduling (Period Calibration Methods) - is
10/ 3:  (ET-TT) Abstraction (Ch 10.1) - os 
10/ 8:  (MSSS) Logic (Ch 3) - jc
10/10:  (MSSS) CHARON - yh
10/15:  Witness generation - lt
10/17:  Witness generation - lt
10/22:  ACSR/PACSR - il
10/24:  MaC - us
10/29:  TTA - ae  
10/31:  Testing (Ch 9), Model-based test generation - il
11/ 5:  Bounded Model Checking - wt
11/ 7:  TMO, Distributed time triggered simulation - el?
11/12:  ETI  (http://www.eti-service.org/ecos/index.html)
        Real-Time Java, Timesys Linux/RI - da?
11/14:  PACSR/Model cheker  - kc
11/19:  SAT - wn
11/21:  (OMG) no class
11/26:  Statecharts, biological cell activity modeling - es
11/28:  Thanksgiving Holiday
12/ 3:  (RTSS) no class
12/ 5:  (RTSS) no class
12/10:  Towne 315: Probabilistic timed automata - mb
12/12:  Towne 315: Introduction to CTL - js
12/17:  Moore 223: (11am-1pm) project presentations