The Australian National University
College of Engineering and Computer Science
Research School of Computer Science
COMP2600 - 2010
Home
Description
Lectures
Tutorials
Assignments
Schedule
Exams
Assessment
Text Books
Context
Current COMP2600
Other Years
Quick Links
ANU Home
CECS Home
RSCS Home
Search
Printer Friendly Version of this Document
Formal Methods for Software Engineering - COMP2600

COMP2600: Formal Methods for Software Engineering

The 2010 Archive

The Tutorial Exercises

  • Week 3 - Natural Deduction
    Exercises
  • Week 4 - Structural Induction
    Exercises
  • Week 5 - Hoare Logic
    Exercises
  • Week 6 - Weakest Preconditions
    Exercises
  • Week 7 - Finite State Automata
    Exercises
  • Week 8 - System Specification in Z
    Exercises
  • Week 9 - Languages, Grammars and Pushdown Automata
    Exercises
  • Week 10 - No Tutorials

  • Week 11 - Turing Machines and Lambda Calculus
    Exercises
Please direct all enquiries to: comp2600@cs.anu(.edu.au)
Page authorised by Head of RSCS
The Australian National University — CRICOS Provider Number 00120C