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

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

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

====== Event-B ======

  * [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B slides]] (this course uses a modified version of these slides)
  * [[http://wiki.event-b.org/index.php/Rodin_Provers|How to use the provers]]
  * [[http://wiki.event-b.org/index.php/Rodin_Proving_Perspective|Rodin Prover Perspective]]
  * [[http://wiki.event-b.org/images/SM%26D-KAR.pdf|Textbook by Ken Robinson]]
  * [[http://deploy-eprints.ecs.soton.ac.uk/264/|Slides on Event-B used for Deploy Associate Training (Michael Butler)]]
  * [[http://wiki.event-b.org/index.php/Inference_Rules|Inference Rules]]
  * [[http://handbook.event-b.org/|Rodin Handbook]] (also FAQs) (also [[http://handbook.event-b.org/current/html/|here]])

====== Rodin Version 2.3 ======

Rodin/Eclipse works on Win/Mac/Linux. Go to the [[http://www.event-b.org/platform.html|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

====== Background resources ======
  *[[http://www.fm4industry.org/index.php/Evidence_on_Formal_Methods_uses_and_impact_on_Industry| Use of formal methods in industry]]