COMP2600: Formal Methods for Software Engineering

Tutorial Exercises

Tutorials will be held in weeks 3, 4, 5, 6, 8, 9, 10 and 11 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.

• Week 3 - Natural Deduction
  Exercises
  Solutions
• Week 4 - Structural Induction
  Exercises
  Solutions
• Week 5 - Hoare Logic
  Exercises
  Solutions
• Week 6 - Weakest Preconditions
  Exercises
  Solutions
• Week 7 - No Tutorials
• Week 8 - Lambda Calculus
  Exercises
  Solutions
• Week 9 - Finite State Automata
  Exercises
  Solutions (Minor correction on 18th September.)
• Week 10 - Languages, Grammars and Automata
  Exercises
  Solutions
• Week 11 - Turing Machines
  Exercises
  Solutions