https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/ 2026-04-16T23:00:01+00:00 https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/ https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/_media/wiki:dokuwiki-128.png text/html 2009-12-14T20:20:08+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/public:course?rev=1260822008&do=diff Course Content Contents Safety critical systems are complex systems that interact with a dangerous environment (e.g. nuclear reactors, medical devices such as radiation therapy machines such as the Therac-25 for treating cancer patients, and airplanes). The specification and design of software and hardware for such systems is challenging because these systems may result in death or serious injury to people, loss or severe damage to equipment or environmental harm. So ordinary testing methods a… text/html 2009-05-07T17:34:22+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/resources?rev=1241717662&do=diff Resources Use this page to list additional Resources that may be helpful to your students. * Spin tutorial * Event-B language and mathematics * Rodin forums * Event-B Theorem Provers * Atelier B Tool text/html 2009-05-07T17:23:52+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/whats_new?rev=1241717032&do=diff What's New? April 30, 2009 Assignment4 is now released. April 3, 2009 The Project details are now released. March 25 Assignment 3 is now released. March 18, 2009 Assignment2 is now released. Monday March 9, 2009 Assignment 1 has been released. Sunday March 8, 2009 * We have been assured that text/html 2009-05-07T17:23:14+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/course_outline?rev=1241716994&do=diff Course Outline Programming Logic for Complex Systems This course covers program verification methods for a class of programs, commonly referred to as reactive programs. Reactive programs typically never terminate and are run in order to maintain some interaction with the environment. An adequate description of reactive systems must refer not only to initial and final states, but also to the ongoing behaviour as a (possibly infinite) sequence of states and events. The purpose of this course is t… text/html 2009-04-13T14:06:14+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/assignments:start?rev=1239631574&do=diff Assignments Here, you can link to your course assignments: * Assignment 1 * Assignment 2 * Assignment 3 * Assignment 4 * Project