|
|
COMP2600: Formal Methods for Software Engineering
The 2007 Archive
The Assignments
- Assignment 1 - Natural Deduction and
Finite State Machines
Due at 5:00 ppm, Monday 20th August 2007
Exercises
Sample Solution
- Assignment 2 - Structural Intuction and Hoare Logic
Due at 6:00 pm, Wednesday 19th September 2007
Exercises
Sample Solution
- Assignment 3 - Weakest Preconditions and
Specification in Z
Due at 10:00 am, Monday 8th October 2007
Exercises
Sample Solution
- Assignment 4 - Lambda Calculus, Grammars,
PDAs and Turing Machines
Due at 23:59, Sunday 21st October 2007
Exercises
Sample Solution
|
