Use this page to list additional Resources that may be helpful to your students.

• Department of CSE Home Page
• York Exam Schedule

• Install PAT3 (also available under windows in Prism).
• Online User's Manual available here. Also available from Help in the PAT application.
• Click on User Manual in the sidebar at the PAT site for links to tutorials.
• See chapters 1 and 2 of CSP by C.A.R. Hoare for examples and background to CSP.
• See the SVN for more PAT documentation as well as the slides presented in class. The PAT application has an example generator.

• Bertrand Meyer on the IEEE standard for specification