Summary: Modelling and Verification 2008
Take-Home Celebratory Exam
This exam is meant of a celebration of the learning outcomes and skills you have mastered over
the last six weeks. In addition, it will give you an opportunity to learn something new and to
improve on your understanding of the main notions we studied during our course sessions.
The exercises in this exam set should be completed by the project and exercise-session groups
of students following the course. Each group should return one solution to the lecturer in the form
of a PDF file by
Friday, 21 November 2008, at 16:00.
The take-home exam will account for 40% of your final mark for the overall course. Each group
member will receive the same grade for the exam.
Please ensure that your solutions are readable and clear. Justify your answers carefully. This
does not mean that your answers should be lengthy, but that they should be convincing. When
you write an answer to a question, ask yourself `Would I be convinced by this argument myself
if somebody else were to explain this to me?' If the answer is negative, then make an effort to
clarify your argument.
Acknowledge all sources, including others in the class from whom you obtained ideas. Note,
however, that the solutions should be your own and that no form of plagiarism will be condoned.
Failure to respect this policy will be considered a violation of the Code of Academic Integrity