9:30-9:45 | Setup, coffee + donuts |
9:45-10:00 | Introduction by Marsha Chechik, course instructor |
10:00-10:40 | William Andreopoulos, "Defining Formal Semantics for the Unified Modelling Language" |
10:40-10:45 | Break |
10:45-11:35 | Jeffrey Tang, Wei Zhou, TBA. |
11:35-11:45 | Break |
11:45-12:25 | Ariel Fuxman, "Software Architectures". |
12:25-12:30 | Break |
12:30-1:10 | Tsuyoshi Morioka, "Automatic Verification of Probabilistic Systems". |
1:10-2:15 | Lunch |
2:15-2:55 | Sean Thompson, "Verifying Java Programs". |
2:55-3:00 | Break |
3:00-3:50 | Jingjing Lu, Yuxiang Zhu, "Automatic Verification of Transmission Control Protocol Using NuSMV". |
3:50-4:00 | Break |
4:00-4:40 | Cosmin Truta, TBA. |
4:40-4:45 | Break |
4:45-5:35 | Christin Hofstee, Peeter Piegaze, TBA. |
5:35-5:40 | Break |
5:40-6:20 | Benet Devereux, "Reasoning about Hybrid Systems". |
6:20-6:30 | Closing remarks by Marsha Chechik |
6:30 | Conference ends |
For more information or to request a copy of conference proceedings, send mail to chechik@cs.toronto.edu. Information about CSC2108 "Automated Verification" is available at www.cs.toronto.edu/~chechik/courses99/csc2108.