https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/ 2026-06-16T05:25:51+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 2009-12-14T20:16:31+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/contact?rev=1260821791&do=diff Contact text/html 2010-03-04T04:57:05+00:00 Anonymous (anonymous@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 text/html 2007-08-01T14:34:50+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/faq?rev=1185978890&do=diff Frequently Asked Questions Here, you can list frequently asked questions from your students along with responses. General Do I need to register for a CSE Computer Account? Yes. Do I need to attend class? If you wish to pass. Tests Do I need to write all tests? text/html 2007-08-02T17:22:57+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/forums?rev=1186075377&do=diff Forums This page acts as a future placeholder for a link to a forum system. text/html 2010-02-02T21:24:47+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/grades?rev=1265145887&do=diff Grades The weight distribution of the course components is as follows: * [50%] Assignments * [50%] Final project divided into two components: * [40%] Written submission * [10%] Oral presentation (including slides) You can view your marks text/html 2009-12-14T20:15:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/important_dates?rev=1260821752&do=diff Important Dates text/html 2009-12-14T20:16:44+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/policies?rev=1260821804&do=diff Policies For more information on Academic Dishonesty, click here. text/html 2007-07-31T18:59:29+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/resources?rev=1185908369&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 text/html 2024-03-08T14:02:31+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/sidebar?rev=1709906551&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-01-20T23:45:18+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/start?rev=1264031118&do=diff CSE6411-W10 Description CSE6411 - Programming Logic for Complex Systems Monday and Wednesday 5.30pm in the SEL (CSEB2056) Textbook details (and slides) From Monday Jan 25th classes will be at 5pm (Mon/Wed). Contents Safety critical systems are complex systems that interact with a dangerous environment (e.g. nuclear reactors or radiation therapy machines such as the text/html 2009-12-14T20:16:57+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/textbook?rev=1260821817&do=diff Textbook text/html 2010-01-18T04:25:44+00:00 Anonymous (anonymous@undisclosed.example.com) https://wiki.eecs.yorku.ca/course_archive/2009-10/W/6411/whats_new?rev=1263788744&do=diff What's New? See forum for announcements.