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

• Department of CSE Home Page
• York Exam Schedule

• Event-B slides (this course uses a modified version of these slides)
• How to use the provers

Rodin/Eclipse works on Win/Mac/Linux. Go to the Rodin install site. You should install:

• Core Rodin
• AnimB
• Latex2B (Note that you also need a Latex app (e.g. Miktex 2.9 on Windows)

You can obtain a Win32 version from SVN → Rodin