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.