https://wiki.eecs.yorku.ca/course_archive/2009-10/W/3341/ 2026-04-14T10:39:28+00:00 https://wiki.eecs.yorku.ca/course_archive/2009-10/W/3341/ https://wiki.eecs.yorku.ca/course_archive/2009-10/W/3341/_media/wiki:dokuwiki-128.png text/html 2010-12-31T19:15:24+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/3341/start?rev=1293822924&do=diff CSE 3341 3.0- Introduction to Program Verification Lecture Times * Tuesdays/Thursday 11.30am-1pm BC-215 * Starting with the class on Tuesday Jan 12 at 11.30am, lectures/labs will take place in the Software Engineering Laboratory (SEL) in CSEB2056 text/html 2010-04-09T16:57:44+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/3341/grades?rev=1270832264&do=diff Dates/Grades Dates * Jan 4 - Winter Classes Start * Feb. 13-19 - Reading Week * March 8 - Last date to drop courses without receiving a grade * April 5 - Winter Classes End * April 7 - Winter Exams Start * April 23 - Winter Exams End text/html 2010-03-25T20:56:18+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/3341/course_outline?rev=1269550578&do=diff Course Outline Week 1: Jan 4 Introductory Lecture. What are formal methods? Why formal methods? Our slides in class are taken from Chapter 1: Introduction. Why testing alone is insufficient (example from quadratic equations). Writing a user requirements document (URD). URD for the bridge controller. The initial Event-B model for the bridge controller (up to slide 33 of text/html 2010-03-21T22:27:11+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/3341/resources?rev=1269210431&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 qa modified version of these slides) * How to use the provers