• Thursday January 3 - Winter Classes Start
• February 16-22 - Reading Week
• Friday March 8 - Last date to drop course without receiving a grade
• Thursday April 3 - Last date to submit term work
• Project Due Date:
• Friday April 3 - Classes end
• April 5-20

• Labs 1-6 have been handed out so far (as of Feb 10) ✓
• Tuesday 15 Jan: Labtest1 ✓
• Tuesday 22 Jan: Labtest2 ✓
• Tuesday 29 Jan: Labtest3 ✓
• Tuesday 05 Feb: Labtest4 ✓
• Tuesday 12 Feb: Labtest5 (York cancelled due to weather; see below for how the weights of this test is distributed over future Labtests)
• Tuesday 26 Feb: Labtest/Rodin (will now count 12%). This Labtest will take the whole Lab hour, and will involve developing models in Rodin.
• Tuesday 05 March: Labtest6 (will now count 5%)
• Tuesday 12 March: Labtest7 (will now count 5%)
• Tuesday 19 March: Labtest8

• Each week, a Lab assignment will be handed out for you to do in that week (as preparation for the next week's Labtest). Also there is some required reading for that week to help you develop competence in the use of the Rodin Modelling Tool.
• In the scheduled lab session (every Tuesday 1-2pm) (a) the first part of the lab session is for you to complete the previous week's lab and have any questions answered; (b) the second part of the lab session is for the actual Labtest.
• Labtest may be on all the material covered up to an including the previous wee (including lab preparation, lectures and Readings).
• After Reading Week, we will also be looking at the TLA+ Tool, specifically the use of the Pluscal Tool.

It is required that you attend and complete the work allocated in the weekly Lab session in preparation for the labtests, Project and Exam.

You may bring 1 data sheet (US Letter size, written on both sides) of your own notes into the exam. Otherwise it is a closed book exam. You may use the Event-B notation summary which you may annotate.

The Exam will be on all the material noted in the course outline, material covered in the lectures, slides and required readings from the textbook, labs, quizzes, labtests and project. The exam is 3 hours.

You can view your marks here.

• Common Grading Scheme for Undergradate Faculties

For each grading unit you are assigned a raw mark score that ranks you in the class. Also, you will be provided with a mapping from your raw mark score to a letter grade. The raw mark score is not a grade as it is merely used to rank you in the class (so, e.g. a raw mark score of 76 might be a C, not a B+, after the mapping is applied). The mapping will be supplied to you at the same time that the grading unit is handed back to you. The final grade is computed from the cut-offs as shown here.

On marks and marking

• A raw mark numerical score on a lab, quiz, project or exam is never “out of” anything, in that it is not interpreted or converted to a percentage. It is the sum of scores assigned to questions, occasionally individually adjusted where appropriate. A numerical raw mark numerical score is used to compute the letter grade in cases where there are many sub-questions in a single piece of work.
• Marks are not “belled” or “curved”, in the sense of being adjusted to approximate a normal distribution. They usually aren't normally distributed anyway in statistical terms and I know of no statistical transformation such as normalization which would make the scores more meaningful and/or accurate.
• You can't “lose marks” for anything - you didn't have them to begin with. Letter grades are assigned to raw mark numerical scores on a basis which I feel is both fair and reflects the meaning of each letter grade as determined by the York Senate and published in the York Undergraduate Programmes Calendar and referenced above.
• Only the letter grades have meaning as determined by the cut-offs posted as each assignment unit is handed back.
• Marks are not a judgement on your intelligence or diligence or good intentions; they are just a reflection of the work you handed in. If you were very busy with other work, or recuperating from an illness, or emotionally stressed, it would be not be surprising if your mark was lower than under optimal conditions. However, a reason does not function as an excuse and does not provide a basis for altering the mark, which is a description of what you did, not why you did it. Work that is submitted late generally receives a grade of F.

• If you miss a Labtest then your grade will be an F.
  • unless the York attending physician's statement (July 2017) is filled out in detail and the physician certifies that you were unable to write due to illness at the time of the Labtest. You must inform the instructor immediately you are able to, that you cannot take the Labtest, and you must present the Physician's statement to the instructor the day after the Labtest. Alternative arrangements to take the Labtest will then be made.

If you want your Labtest regraded, then within one week of receiving the feedback do the following:

• Write out precisely and concisely your concerns.
• Staple your written concerns to your feedback document
• Return the above to the instructor within one week of receiving your feedback.

At times (e.g. in the Project) you are allowed to work on your own or in a team of at most two. If you are working with a partner, be sure to create a shared storage area (e.g. a private GitHub repository) where you both have access to the design/code. You will want to ensure that you each understand the other's work. In case a partner withdraws from the course or does not contribute, you are still responsible to ensure that you submit the work for the complete project on your own (with an explanation of the context in which this happened).