COMP2600: Formal Methods for Software Engineering - 2013

Assignments

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, you will be penalised at least 10%.

• Assignment 1 - Structural Induction and First-Order Logic
  Due Monday 26 August 2013
  Exercises
  Sample Solution
• Assignment 2 - Hoare Logic and Total Correctness
  Due Monday 23 September 2013
  Exercises
• Assignment 3 - Specification in Z
  Due Tuesday 15 October, 11:00 am
  Exercises Leaderboard Spec from Lectures
  Z schemas are easy to typeset with the oz.sty package. It is described in ozguide.pdf
• Assignment 4 - Finite State Automata and Grammars
  Due Friday 25 October 2013, 11am