For information on Event-B/Rodin, see resources (login at bottom right)

The SEL Virtual Machine is available here. For further help, see here (login for the password to access the VM).

• Department of CSE Home Page
• York Exam Schedule