https://wiki.eecs.yorku.ca/course_archive/2011-12/W/3341/ 2026-05-13T14:54:48+00:00 https://wiki.eecs.yorku.ca/course_archive/2011-12/W/3341/ https://wiki.eecs.yorku.ca/course_archive/2011-12/W/3341/_media/wiki:dokuwiki-128.png text/html 2012-01-02T22:45:11+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2011-12/W/3341/contact?rev=1325544311&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 2012-04-03T20:06:55+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2011-12/W/3341/course_outline?rev=1333483615&do=diff Course Outline The SVN will have a list of exercises (currently Ex1, Ex2 and 9 questions in Ex3) 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. Week 1: Jan 3, 2012 Background Readings text/html 2010-12-31T17:16:41+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2011-12/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/2011-12/W/3341/forums?rev=1186075377&do=diff Forums This page acts as a future placeholder for a link to a forum system. text/html 2012-04-04T15:10:30+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2011-12/W/3341/grades?rev=1333552230&do=diff Grades Dates/Grades Winter 2011 Dates * Tuesday January 3, 2012 - Winter Classes Start * February 18-24 - Reading Week * March 9 - Last date to drop courses without receiving a grade * April 2 - Winter Classes End * April 4-20 - Winter Exams text/html 2007-07-31T17:53:24+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2011-12/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/2011-12/W/3341/policies?rev=1293815420&do=diff Policies Academic Dishonesty For more information on Academic Dishonesty, click here. text/html 2012-02-13T17:13:02+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2011-12/W/3341/resources?rev=1329153182&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 Handbook (also FAQs) (also here) Rodin Version 2.3 Rodin/Eclipse works on Wi… text/html 2024-03-08T14:02:31+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2011-12/W/3341/sidebar?rev=1709906551&do=diff * Forum/Announcements * Course Outline * Dates/Grades * SVN * Contact * Resources * Textbook * Project * Academic Honesty * Private text/html 2012-01-03T22:53:24+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2011-12/W/3341/start?rev=1325631204&do=diff W12-CSE3341M - Introduction to Program Verification Lecture Times * Tuesdays/Thursday 11.30am-1pm, CCB115. Note: All classes from now on will be in the Software Engineering Laboratory, CSEB2056. * We will be using the Rodin toolset (also available with Atelier provers/AnimB on the SVN for Windows). 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/2011-12/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/2011-12/W/3341/whats_new?rev=1293813563&do=diff What's New? See 3341 Forum for the latest announcements. Please subscribe to forum.