The following workstations in the Goose Lab with VDM++ Toolbox Lite v8.0 installed:
The slides that we go through in class can be found on the Blackboard site for this class, under 'Course Documents', then 'Slides'. These slides are taken from the Course Notes, which are also under 'Course Documents.' You are expected to read the assigned parts of the Course Notes before each class session. Under 'Course Documents,' you will also find 'Summaries,' which contains short summary documents of rules, techniques, and so on.
Homework Assignments for COMP 681
Exams and quizzes for COMP 681