|
|
COMP2600: Formal Methods for Software Engineering
The 2006 Archive
The Assignments
- Assignment 1 - Lists and trees in Haskell.
Due at 23:59, Monday, 14th August 2006
Exercises
- Assignment 2 - Structural Induction and
Finite State Automata
Due at 6pm, Monday, 18th September 2006
Exercises
Sample Solution
- Assignment 3 - Natural Deduction, Lambda Calculus and
Hoare Logic
Due at 6pm, Friday, 29th September 2006
Exercises
Sample Solution
- Assignment 4 - Weakest Precondition Calculus, Z and
Turing Machines
Due at 23:59, Sunday, October 22 2006
Exercises
Sample Solution
|
