https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/ 2026-06-19T06:44:50+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 2007-08-01T13:57:34+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/contact?rev=1185976654&do=diff Contact Course Director * Bob J. Smith * Office: CSE 999 (Computer Science and Engineering Building) * Phone: (416) 736-2100 x. 11111 * Email: bobsmith AT cse DOT yorku DOT ca You may contact the course director by e-mail at any time. Teaching Assistants text/html 2009-05-07T17:23:14+00:00 Anonymous (anonymous@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-02-26T04:06:59+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/faq?rev=1235621219&do=diff Frequently Asked Questions text/html 2007-08-02T17:22:57+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/forums?rev=1186075377&do=diff Forums This page acts as a future placeholder for a link to a forum system. text/html 2009-02-26T04:04:51+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/grades?rev=1235621091&do=diff Grades The tentative grading scheme for CSE6411 is as follows: * 65% - Biweekly (approximately) assignments * 25% - Project and Presentation * 10% - Class participation The assignments will involve small developments to familiarize students with the methods and tools. text/html 2009-03-09T03:36:23+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/important_dates?rev=1236569783&do=diff Important Dates text/html 2009-02-26T04:07:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/policies?rev=1235621272&do=diff Policies Academic honesty requires that students do not falsely claim credit for the ideas, writing or other intellectual property of others, either by presenting such works as their own or through impersonation. Similarly, academic honesty requires that students do not cheat (attempt to gain an improper advantage in an academic evaluation), nor attempt or actually alter, suppress, falsify or fabricate any research data or results, official academic record, application or document. Suspected br… text/html 2009-03-02T17:48:01+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/protected?rev=1236016081&do=diff Protected text/html 2009-05-07T17:34:39+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/resources?rev=1241717679&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 2024-03-08T14:02:31+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/sidebar?rev=1709906551&do=diff * What's New * Forums * Course Outline * Grades * SVN repository * Assignments * Resources * Textbook * Private * Academic Honesty text/html 2009-03-11T17:24:32+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/start?rev=1236792272&do=diff F09-GS/CSE6411: Programming Logic for Complex Systems * Please login to the wiki (see bottom ↓ of this page for login). * Slides from the first lecture and for the second are available in the SVN repository. * Please try out the Rodin Event-B Eclipse tool in preparation for Monday's class. text/html 2009-03-18T03:23:30+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2008-09/W/6411/textbook?rev=1237346610&do=diff Textbook Notes have been handed out in class. text/html 2009-05-07T17:23:52+00:00 Anonymous (anonymous@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