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

• Department of CSE Home Page
• York Exam Schedule

If you are in EECS3311/EECS3342/EECS4312, you can install a virtual machine with Eiffel, Rodin, PVS and Latex configured as in the Linux workstations in the Prism lab.

• Install the free VirtualBox software from here

• You need a USB key with at least 9GB of space.

• Go to the Prism Lab to one of the Linux workstations and login to the workstation

• Insert a formatted FAT32 USB key into the machine.

• Open up a terminal window.

• Run the following command to copy the image to your USB key:

 >scp red:/vbox/eecs-vbox-sel-build7.ova <PATH TO YOUR USB KEY>

The path to your USB key will be: /media/<USB key name>. If you don't know the path to your USB key, simply drag your USB key icon from the desktop to the terminal window while entering the above command, and the path to your USB key will be automatically filled in.

NOTE: If your USB key is not formatted, you can use the system utility “palimpsest” to partition and format it FAT32. Be aware that reformatting your USB key will erase its current contents.