https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/ 2026-04-25T11:38:02+00:00 https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/ https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/_media/wiki:dokuwiki-128.png text/html 2008-06-25T21:23:13+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/course_outline?rev=1214428993&do=diff Course Outline SPIN Tool The course outline is a guideline to topics that will be discussed in the course, and when they will be discussed. Towards the end of the term we will be using the Spin tool (see demo, and Tutorial1) for describing and specifying safety critical systems. Spin and Xspin are installed on Prism ( text/html 2008-05-23T00:49:19+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/sidebar?rev=1211503759&do=diff * What's New * Course Outline * Important Dates * Grades * Assignments * Assignment 1 * Assignment 2 * Assignment 3 * Assignment 4 * Project 1 * Project 2 * Notes * Forums * Contact * Policies * Resources * Textbook * FAQs * Projects * Academic Dishonesty * F2008 text/html 2007-12-11T00:06:01+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2007-08/F/4312/grades?rev=1197331561&do=diff Grades - Tentative For projects you may work as an individual or in teams of at most two students. Deadlines are strict: by noon on the day stated in the drop box. Assignment and Project Deadlines are very strict (use a York medical certificate if you are seriously ill).