COMP2600: Formal Methods for Software Engineering - 2011

Semester 2, 2011

Course Information

Here is the Course Information document as made available at the beginning of the semester (and not updated for relevant changes during the semester).

Schedule

Here is the schedule of lectures, tutorials and assessments in 2011.
It will change as the semester progresses, so check it when advised.
Updated 30th June, 2011.

Messages

The December 2011 supplementary exam will take place on Wednesday 14th December, 2011, in the CSIT building (Bldg 108), room N101.
Reading time Start: 1.15pm, Writing Time start: 1.30pm, Writing Time finish: 4.30pm.
Permitted Materials: (as for the final) A4 page (1 sheet) with handwritten notes on both sides
The 2011 final exam will consist of the following questions (with number of marks shown). It will be similar to last year except for the additional part to the last question.
- Logic, Natural Deduction (11)
- Structural Induction (12)
- Specification in Z (12)
- Hoare Logic (11)
- Weakest Precondition Calculus (11)
- Finite State Automata, Regular Languages (13)
- Grammars, Parsing (11)
- Turing Machines (11)
- Answer one of four: (8)
  - Push-Down Automata
  - Lambda Calculus and Types
  - Prolog
  - Computability
The 2011 mid-semester quiz and solutions are now available
Please observe that the menu on the left has been augmented with an item that accesses a web page with past exam papers.


	College of Engineering and Computer Science Research School of Computer Science