COMP2600: Formal Methods for Software Engineering

The 2009 Archive

Assignment 1 - Natural Deduction and Structural Induction
Due at 11am, Monday 24th August 2009
Exercises
Sample Solution

Assignment 2 - Hoare Logic and Weakest Preconditions
Due at 11am, Monday 7th September 2009
Exercises
Sample Solution

Assignment 3 - Lambda Calculus and Finite State Automata
Due at 11am, Monday 28th September 2009
Exercises
Sample Solution

Assignment 4 - Grammars, PDAs and Turing Machines
Due at 11am, Monday 26th October 2009
Exercises
Sample Solution


	College of Engineering and Computer Science Research School of Computer Science