https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/ 2026-04-03T19:31:37+00:00 https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/ https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/_media/wiki:dokuwiki-128.png text/html 2017-12-27T18:17:05+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/course_outline?rev=1514398625&do=diff Course Outline The course outline is a guideline to topics that will be discussed in the course, and when they will be discussed: Introduction Use this small project to get started with Event-B and the Rodin tool * [Simple Bank System]. Introduction to Specification and Refinement. text/html 2017-04-04T00:52:52+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/grades?rev=1491267172&do=diff Grades Dates/Grades Winter 2017 Dates Winter 2017 * January 5 - Winter Classes Start * February 18-24 - Reading Week * March 10 - Last date to drop courses without receiving a grade * Thursday April 5 - Winter Classes End * Last day to submit work: April 5 text/html 2017-01-05T04:48:43+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/?image=01-intro-bank.pdf&ns=0&rev=1483591723&tab_details=history&media_do=diff&do=media <img src="https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/lib/images/fileicons/svg/pdf.svg" alt="01-intro-bank.pdf" loading="lazy" width="500" height="500" /> text/html 2015-04-07T23:48:17+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/?image=wiki%3Ahoare-turing-1980.pdf&ns=wiki&rev=1428450497&tab_details=history&media_do=diff&do=media <img src="https://wiki.eecs.yorku.ca/course_archive/2016-17/W/3342/lib/images/fileicons/svg/pdf.svg" alt="hoare-turing-1980.pdf" loading="lazy" width="500" height="500" />