====== Resources ======

====== Event-B/Rodin ======

  * [[http://www.event-b.org|Main Event-B website]]
  * [[http://wiki.event-b.org/index.php/Rodin_Platform_Releases|Rodin Download Site]]
  * [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B Language and Slides]]
  * [[http://wiki.event-b.org/index.php/Rodin_Platform_3.1_Release_Notes|Rodin 3.1 Release notes]]

====== Install Rodin ======

Rodin is available on the Prism Workstations and the SEL Virtual Machine (which also included an install of Latex).

1. Download Rodin [[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.1/| Rodin 3.1]] for your platform and install.

2. Install the Atelier B provers.Please proceed as follow: From the main menu bar, select Help > Install New Software.... The Install wizard opens.
Uncheck the Contact all update sites during install to find required software check box.
Click on the Work with dropdown list and select the Atelier B provers update site.
Select Atelier B provers in the list (tick the left check boxes) and click Next
After some time, the Install window opens. Just click Next, and accept the terms in the license agreement.
Click Finish. The update manager downloads the Atelier B Provers feature.
Finally, in the next window, click Yes to restart the platform.

3. Install ProB and AnimB

4. Install B2Latex. In the install new plugins it is found under: Rodin - http://rodin-b-sharp.sourceforge.net/updates

====== Other Resources ======

  * [[http://www.cse.yorku.ca|Department of CSE Home Page]]
  *   [[https://w2prod.sis.yorku.ca/Apps/WebObjects/cdm.woa/wa/curexam|York Exam Schedule]]