Process Algebra Lab Lab given in spring 99, spring 2000, spring 2001, spring 2002. |
During this laboration you will learn how to use the tool uppaal and apply it to the study of a CSMA/CD protocol.
Download the tutorial in ps.gz/pdf. Download the assignments in ps.gz/pdf.
The main assignment is based on the paper Verifying a CSMA/CD-protocol with CCS by Joachim Parrow, Proceedings of the IFIP WG 6.1 8th International Symposium on Protocol Specification, Testing and Verification, Atlantic City, New Jersy, USA, June 7-10, 1998.
The course directory is /stud/docs/kurs/process_algebra/. There you will find the script uppaal2k to start UPPAAL and a tutorial directory. This directory contains files related to the tutorial. You will use the new beta version of UPPAAL that will be installed on thursday.