|
|
COMP2600: Formal Methods for Software Engineering
The 2010 Archive
The Assignments
- Assignment 1 - Natural Deduction and Structural
Induction
Due at 11am, Monday 23th August 2010
Exercises
Sample Solution
- Assignment 2 - Hoare Logic and Weakest Preconditions
Due at 11am, Monday 6th September 2010
Exercises
Sample Solution
-
Assignment 3 - Finite State Automata and Specification in Z
Due at 3pm, Wednesday 22nd September 2010
Exercises
Z schemas are easy to typeset with the
oz.sty package. It
is described in
ozguide.pdf
Sample Solution
- Assignment 4 - Lambda Calculus, Grammars, PDAs and
Turing Machines
Due at 11am, Friday 22nd October 2010
Exercises
The file "comb.hs", mentioned in the assignment, is available
here.
Sample Solution
The file "solution.hs", mentioned in the solutions, is available
here.
|
