| Assignment 1 | The HOL Exercise | MCN | ps | |
| Initial Script (mentioned in assignment) | MCN | sml | - | |
| Theory of Pairs, Theory of Lists | MCN | ps | ||
| Solution with Commentary | MCN | ps | ||
| Assignment 2 | Z Assignment | MCN | ps | |
| Use of oz.sty package | MCN | ps | ||
| Assignment 3 | SRS Inspections | MCN | ps | |
| Inspection groups with clients | MCN | ps |
| System Requirements | System Context | Dictionary | Design Diagrams |
| System DFD-0 | System DFD-7 | System STD-0-S2 | System STD-7-S1 |
| Control Specifications | Start Conditions | Stop Conditions | Process Activation Table |
| Process Specifications | Monitor/adjust temp. | Monitor/adjust vatLL | Monitor/adjust pH |
| Control water valve | Fill cans | SetCanLLCutOff | Set pH Limits |
| EVACS | Test Cases and Procedures Specification - Part 1 (pdf) Part 2 (pdf) |
| program files | gen_barcodes.c gen_barcodes.h gen_barcodes_bin.c gen_barcodes_test.c |
| Arithmetic Theories in HOL | MCN | ps | ||
| Set Theory in HOL | MCN | ps | ||
| Melham's Conversions Lecture | MCN | ps4 | pdf4 | |
| The Official HOL4 Description (278+ pages) | - | - | ||
| The Official HOL4 Tutorial (138+ pages) | - | - | ||
| The Official HOL4 Reference (912+ pages) | - | - |
| Past papers | The 2002 exam | ps | |
| The 2003 exam | ps | ||
| The 2004 exam | ps | ||
| The 2005 exam | ps | ||
| The 2006 exam | ps | ||
| Miscellaneous | Petri Net on 2005 Exam | ps |
Date Last Modified: 25th May, 2007