https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/ 2026-06-29T17:14:24+00:00 https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/ https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/_media/wiki:dokuwiki-128.png text/html 2010-12-31T20:02:33+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/contact?rev=1293825753&do=diff Contact Important: Subscribe to: 3341 Forum for the latest announcements. Please ask all questions relating to the course material on the forum (not via email). For all other questions, see me during office hours. Read the course outline regularly. You may visit the instructor, Jonathan Ostroff, during the following regularly scheduled office hours in the SEL (CSE2065): text/html 2011-04-11T19:29:02+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/course_outline?rev=1302550142&do=diff Course Outline The schedule below (taken from Winter 2010) will be updated as the term proceeds. The SVN will have a list of exercises that you must do on your own to test your knowledge of the material and to help you to prepare for the labtests and exam. text/html 2010-12-31T17:16:41+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/faq?rev=1293815801&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/2010-11/W/3341/forums?rev=1186075377&do=diff Forums This page acts as a future placeholder for a link to a forum system. text/html 2011-04-06T03:03:50+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/grades?rev=1302059030&do=diff Grades Dates/Grades Winter 2011 Dates * January 4 - Winter Classes Start * February 19-25 - Reading Week * March 4 - Last date to drop courses without receiving a grade * April 4 - Winter Classes End * April 6-23 - Winter Exams text/html 2007-07-31T17:53:24+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/important_dates?rev=1185904404&do=diff Important Dates Here, you would list important dates for your course. * Sept 1 - Assignment 1 Due * Oct 1 - Course finished text/html 2010-12-31T17:10:20+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/policies?rev=1293815420&do=diff Policies Academic Dishonesty For more information on Academic Dishonesty, click here. text/html 2011-03-23T17:06:26+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/resources?rev=1300899986&do=diff Resources Use this page to list additional Resources that may be helpful to your students. * Department of CSE Home Page * York Exam Schedule Event-B * Event-B slides (this course uses a modified version of these slides) * How to use the provers * Rodin Prover Perspective * Textbook by Ken Robinson * Slides on Event-B used for Deploy Associate Training (Michael Butler) * Inference Rules Rodin Version 2.0.1 Rodin/Eclipse works on Win/Mac/Linux. Go to the text/html 2024-03-08T14:02:31+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/sidebar?rev=1709906551&do=diff * Forum/Announcements * Course Outline * Dates/Grades * SVN * Contact * Resources * Textbook * Project * Academic Honesty * Private text/html 2011-01-04T21:35:17+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/start?rev=1294176917&do=diff W11-CSE3341M - Introduction to Program Verification Lecture Times * Tuesdays/Thursday 11.30am-1pm BC-215. As of and including Thursday Jan 6, all classes will be held in the SEL (cseb2056) * We will be using the Rodin toolset. For textbook and course slides see text/html 2010-12-31T17:15:19+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/textbook?rev=1293815719&do=diff Textbook There is no required text. The Event-B site (see below) has slides and aditional material for this course. Also, consult the SVN. * The following recommended text is on reserve in SteacieModeling in Event-B. * First two chapters of the text * The slides for this course and other resources may be found at text/html 2010-12-31T16:39:23+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2010-11/W/3341/whats_new?rev=1293813563&do=diff What's New? See 3341 Forum for the latest announcements. Please subscribe to forum.