====== What's New? ======

===== April 30, 2009 =====

Assignment4 is now released.

===== April 3, 2009 =====

The [[protected:project|Project]] details are now released.

===== March 25 =====

[[protected:assignments:a3|Assignment 3]] is now released.

===== March 18, 2009 =====
[[protected:assignments:a2|Assignment2]] is now released.


===== Monday March 9, 2009 =====

[[assignments:a1|Assignment 1]] has been released.

===== Sunday March 8, 2009 =====

  *We have been assured that [[http://www.event-b.org/|Rodin]] and [[http://stwww.weizmann.ac.il/g-cs/benari/jspin/|JSpin]] tools are now installed on the SEL Windows PCs. Please login before class and check that these tools are working. We will spend quite a few lectures working on the C slides (''09W-6411-C-BridgeController.pdf'' available from the SVN link in the sidebar) and comparing it with a Spin model (using JSpin).

  *You may wish to install Rodin and JSpin on your own PC.
  * [[https://wiki.cse.yorku.ca/lab/sel/tutorial:start|Spin tutorial]]