COMP2600: Formal Methods for Software Engineering

The 2008 Archive

Assignment 1 - Natural Deduction and Structural Induction
Due at 10am, Monday 25th August 2008
Exercises
Solution

Assignment 2 - Hoare Logic and Weakest Preconditions
Due at 10am, Monday 15th September 2008
Exercises
Solution

Assignment 3 - Lambda Calculus and Finite State Automata
Due at 10am, Monday 13th October 2008
Exercises
Solution

Assignment 4 - Grammars, PDAs and Turing Machines
Due at 10am, Monday 27th October 2008
Exercises
Solution


	College of Engineering and Computer Science Research School of Computer Science