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 assignments must include a 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 4 - Grammars, PDAs and Turing Machines
  Due at 10am, Monday 27th October 2008
  Exercises (Minor typos corrected on 13th October)
  There will be no late penalties for submissions received before 12 noon, Wednesday 29th October.
  Solution


• Assignment 3 - Lambda Calculus and Finite State Automata
  Due at 10am, Monday 13th October 2008
  Exercises (Typos in Q2.1.3 and Q2.1.4 corrected on 6th October)
  Solution (Typos in Q1.1.1 corrected on 7th November)


• Assignment 2 - Hoare Logic and Weakest Preconditions
  Due at 10am, Monday 15th September 2008
  Exercises
  Solution


• Assignment 1 - Natural Deduction and Structural Induction
  Due at 10am, Monday 25th August 2008
  Exercises
  Solution

Previous years' assignments and sample solutions are available from the 2007 COMP2600 pages.