CM50109: Formal methods & programming

The Unit

Unit Catalogue

Some links

Wikipedia seems fairly accurate in this area, but you should always treat Wikipedia as a useful source of pointers and follow up the references


Not much on Moodle


These will be released after the relevant lecture: there is no substitute to having the material go through your brain at least once!

Note that these slides are hints to me as to what topics I should cover: they don't contain everything I shall say in lectures. You should come to lectures, take notes in lectures and read books.

The file numbers don't correspond to anything in particular in terms of lectures or subject covered. I may have skipped some material in lectures: why not improve your general education and read the extra too! The exam will only be set on material covered in lectures.

01 02 03 04 05 06