COMP2600: Formal Methods for Software Engineering - 2011

Tutorial Exercises

Tutorials will be held in weeks 3 to 11 (inclusive) unless advised otherwise. You should register in a tutorial group on Streams, as usual. Exercises will be posted here in the preceding week. You should make sure you are prepared for your class by attempting, or at least carefully considering the exercises before attending your tutorial.
Of course, you should bring a printed copy of the exercise sheet to your tutorial.

• Tuesday 1:00 PM CSIT N108 (Building 108) (Aditi Barthwal)
• Wednesday 11:00 AM CSIT N108 (Building 108) (Aditi Barthwal)
• Wednesday 12:00 PM CSIT N108 (Building 108) (Aditi Barthwal)
• Thursday 1:00 PM CSIT N108 (Building 108) (Ivan Miljenovic)
• Thursday 3:00 PM CSIT N108 (Building 108) (Ivan Miljenovic)
• Thursday 5:00 PM CSIT N108 (Building 108) (Linda Postniece)
• Friday 1:00 PM CSIT N109 (Building 108) (Jimmy Thomson)

• Week 3 - Natural Deduction
  Exercises
  Solutions
• Week 4 - Structural Induction
  Exercises
  Solutions
• Week 5 - System Specification in Z
  Exercises
  Solutions
• Week 6 - Finite State Automata
  Exercises
  Solutions
• Week 7 - Languages, Grammars and Pushdown Automata
  Exercises
  Solutions
• Week 8 - Turing Machines and Lambda Calculus
  Exercises
  Solutions
• Week 9 - Hoare Logic
  Exercises
  Solutions
• Week 10 - Weakest Precondition Calculus
  Exercises
  Solutions
• Week 12 - Miscellaneous topics
  Exercises
  Solutions