9:30 -9:45 | Setup, coffee + donuts |
9:45 -10:00 | Opening remarks by Marsha Chechik, course instructor |
10:00-10:45 | Jiang Liu, "Verification of a Generic Consensus Protocol
with
PROMELA/SPIN---an Exercise in Specification and Verification" |
10:45-11:30 | Yilan Gu, "Automata-Theoretic Model Checking and Situation Calculus" |
11:30-11:45 | Break |
11:45-12:45 | Clement Yuen, Wei Tjioe, "Modeling and Verifying a Price Model for Congestion Control in Computer Networks Using PROMELA/SPIN" |
12:45-2:00 | Lunch, Arbor Room, Hart House |
2:00 -2:45 | Hung Tran, "Test Generation using Model Checking" |
2:45 -3:30 | Wendy Liu, "Multi-Valued Symbolic LTL Model Checker" |
3:30 -3:45 | Break |
3:45 -4:30 | Arie Gurfinkel, "A Survey of Graph-based Algorithms in Software Model Checking". |
4:30 -5:15 | Kenneth Cheung, "Specification and Verification of the Elevator Case Study Using SCR". |
5:15 -5:45 | Closing remarks by Marsha Chechik, filling in of course evaluation forms |
5:45 | 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/courses00/csc2108.