i didn't get an exam tut letter... maybe i didn't do all the assignments...
to me the exam seemed to be not at all about formal program verification but rather seemed to focus on the floor function and remainder computation. i really though honours would be about learning principles and how to apply them not parroting off large examples from the text book.
also, the lecturer should just get real and make BABER an official "prescribed" book... in my opinion you should NEVER see a direct reference to a "recommended" book in a paper as it is just "recommended" and not "prescribed".
all in all, a disappointing end to what could have been a great module.