https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/ 2026-04-14T06:46:04+00:00 https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/ https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/_media/wiki:dokuwiki-128.png text/html 2010-03-04T05:02:37+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/assignments:start?rev=1267678957&do=diff Assignments Here, you can link to your course assignments: * Assignment 1 * Assignment 2 * Assignment 3 * Assignment 4 * Assignment 5 * Project text/html 2010-03-04T05:02:13+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/sidebar?rev=1267678933&do=diff * What's New * Course Outline * Grades/Dates * Assignments * Assignment 1 * Assignment 2 * Assignment 3 * Assignment 4 * Assignment 5 * Project * Forums * SVN * Contact * Policies * Resources * Textbook * Academic Dishonesty text/html 2010-03-04T04:57:05+00:00 jonathan (jonathan@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/course_outline?rev=1267678625&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. 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