What's New?

Assignment4 is now released.

The Project details are now released.

Assignment 3 is now released.

Assignment2 is now released.

Assignment 1 has been released.

• We have been assured that Rodin and 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.
• Spin tutorial