Skip navigation
The Australian National University

COMP2600: Formal Methods for Software Engineering

Tutorial Exercises 2013

Tutorials will be held from weeks 3 to 12 (inclusive), except there will no tutorial in week 8. You should register in a tutorial group on Streams, as usual: streams

Exercises will be posted here in the preceding week.

Tutorial Preparation

It is expected that students actively prepare for tutorials; before your tutorial each week, check this page for the exercises.

You should hand in attempts to the starred questions to your tutor at the start of each tutorial. Your attempts will not be marked for correctness, and so you may collaborate with your fellow students or others, so long as you hand in your work individually and clearly indicate who you have worked with.


Of course, you should bring a printed copy of the exercise sheet to your tutorial.

There are seven tutorials. Register for one of them using StReAMS.
  • Wednesday: 10:00:00 - 11:00:00 CSIT N108 (Building 108) (Zhe Hou)
  • Wednesday: 11:00:00 - 12:00:00 CSIT N108 (Building 108) (Tessa Bradbury)
  • Wednesday: 12:00:00 - 13:00:00 CSIT N108 (Building 108) (Zhe Hou)
  • Thursday: 12:00:00 - 13:00:00 CSIT N108 (Building 108) (Jarrah Bloomfield)
  • Thursday: 13:00:00 - 14:00:00 CSIT N108 (Building 108) (Tessa Bradbury)
  • Thursday: 16:00:00 - 17:00:00 CSIT N108 (Building 109) (Ivan Miljenovic)
  • Friday: 11:00:00 - 12:00:00 CSIT N108 (Building 108) (Alex Mascolo)

Updated:  04 October 2013 / Responsible Officer:   JavaScript must be enabled to display this email address. / Page Contact:   JavaScript must be enabled to display this email address.