10-10:15 | Setup |
10:15-10:30 | Introduction by Marsha Chechik, course instructor |
10:30-11:15 | Dimi Paun, Bernd Biechele, "A Case Study: Production Cell with PROMELA/SPIN" |
11:15-11:35 | Questions |
11:35-11:45 | Break |
11:45-12:15 | Andre Wong, "UPPAAL and SCSI Protocol Example" |
12:15-12:30 | Questions |
12:30-1:30 | Lunch |
1:30-2:15 | Hai Wang and Hwei Sheng Teoh, "Automatic Verification of Asynchronous Retransmission Go-Back-N ARQ Protocols Using the Concurrency Workbench" |
2:15-2:35 | Questions |
2:35-2:45 | Break |
2:45-3:15 | Wei Ding, "Integrating Object-Oriented Analysis and Formal Specifications" |
3:15-3:30 | Questions |
3:30-3:40 | Break |
3:40-4:25 | Cathy Jansen, Alberto Paccanaro, "Studying the Behaviour of Place/Transition and Coloured Petri Nets - an Implementation Using LP" |
4:25-4:45 | Questions |
4:45-5:00 | Break |
5:00-5:30 | Danny House, "Formal Methods: More Than Just Proofs" |
5:30-5:45 | Questions |
5:45-5:55 | Closing remarks by Marsha Chechik |
6:00 | 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/courses97/csc2108.