COMP2600: Formal Methods for Software Engineering - 2012

Tute Registration

Tutorials will be held in weeks 3 to 12 (inclusive), apart from a skip week in week 11. You should register in a tutorial group on Streams in Week 1 of semester. The university timetable shows seven tutorial times for COMP2600. Register for one of them using StReAMS.

• Tuesday 11:00 AM CSIT N109 (Aditi Barthwal)
• Tuesday 12 Noon CSIT N109 (Aditi Barthwal)
• Wednesday 12 Noon CSIT N108 (Teresa Bradbury)
• Wednesday 1:00 PM CSIT N109 (Zhe Hou)
• Wednesday 4:00 PM CSIT N109 (Jarrah Bloomfield)
• Thursday 12 Noon CSIT N108 (Zhe Hou)
• Thursday 2:00 PM CSIT N109 (Ivan Miljenovic)

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.

Tutorial Exercises

Exercises will be posted here in the preceding week.

• Week 3 - Natural Deduction
  Exercises
  Solutions
• Week 4 - Structural Induction
  Exercises
  Solutions
• Week 5 - Hoare Logic
  Exercises
  Solutions,  Extended solutions with more detailed proofs
• Week 6 - Weakest Precondition Calculus
  Exercises
  Solutions
• Week 7 - System Specification in Z
  Exercises
  Solutions
• Week 8 - Z Data Structures, Lambda Calculus and Prolog
  Exercises
  Solutions
• Week 9 - Deterministic Finite State Automata
  Exercises
  Solutions
• Week 10 - Nondeterministic Finite Automata and Grammars
  Exercises
  Solutions
• Week 11 - NO TUTORIAL
  
• Week 12 - Pushdown Automata, Turing Machines, and Computability
  Exercises
  Solutions