COMP2600: Formal Methods for Software Engineering

Assignments

There will be four assignments, with due dates near weeks 5, 8, 10, 12. Assignment specifications will be posted here as they are released.

Assignments are to be submited via the assignment boxes in the student foyer. All submissions must include a fully completed standard cover-sheet. If you do not include your tutor's name and your tutorial group, I have to spend time looking it up for you. You will be penalised at least 10%.

• Assignment 1 - Natural Deduction and Structural Induction
  Due at 11am, Monday 24th August 2009
  Exercises
  (Error in Ex.1.2.(i) corrected on 12th August - There is no need for the Double Negation derived rule.)
  Sample Solution
• Assignment 2 - Hoare Logic and Weakest Preconditions
  Due at 11am, Monday 7th September 2009
  Exercises
  Sample Solution
• Assignment 3 - Lambda Calculus and Finite State Automata
  Due at 11am, Monday 28th September 2009
  Exercises
  (A comment aimed at clarifying exercise 1.2 has been posted on the discussion forum.)
  Sample Solution
• Assignment 4 - Grammars, PDAs and Turing Machines
  Due at 11am, Monday 26th October 2009
  Exercises (Typo in table of two's complement examples corrected on 22 October.)
  Sample Solution (A more complete answer to Q2(c) and a minor correction to Q3 posted on 10 November.)

Last year's assignments and sample solutions are available from the 2008 COMP2600 pages.