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 Prover Perspective
• Textbook by Ken Robinson
• Slides on Event-B used for Deploy Associate Training (Michael Butler)
• Inference Rules
• Rodin Handbook (also FAQs) (also here)

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

• Core Rodin (follow the instructions)
• Atelier B provers
• AnimB
• Latex2B (Note that you also need a Latex app (e.g. Miktex 2.9 on Windows)

You can obtain a ready to run Rodin/Win32 version from SVN → Rodin

• Use of formal methods in industry