Schedule

Class 1. T Feb. 6  
   Lynch
   1. Monolithic systems: safety

2. R Feb. 8
   Lynch

3. T Feb. 13
   Lynch

4. R Feb. 15 
   Lynch
   Tools: Model checking

5. R Feb. 22
   ???
   [[[Rui?  SPIN expert?]]] 

6. T Feb. 27
   ???
   [[[Rui?  TLC expert?]]]

7. R Mar. 1 
   Ernst
   Invariant discovery

8. T Mar. 6  
   Garland
   Theorem proving

9. R Mar. 8  
   Garland
   Theorem proving, LP

10. T Mar. 13  
   Garland
   Theorem proving, LP, IOA

11. R Mar. 15 
   Lynch
   2. Monolithic systems: liveness

12. T Mar. 20
   Attie 

13. R Mar. 22 
   Lynch
   3. Composition

14. T Apr. 3
   Lynch

15. R Apr. 5
   Attie

16. T Apr. 10
   Jackson?  [[[verify]]]

17. R Apr. 12 
   Lynch
   4. Timed systems

18. R Apr. 19
   ???

19. T Apr. 24 
   Alur

20. R Apr. 26
   ???

21. May 1  
   Lynch
   5. Hybrid systems

22. May 3
   Lynch

23. May 8
   ???

24. May 10
   ???

25. May 15  
   Lynch
   6. Probabilistic systems

26. May 17
   Lynch
