The following workstations in the Goose Lab with VDM++ Toolbox Lite v8.0 installed:
In Blackboard, under "Course Documents," folder "Files for Chapter 3 of the VDM++ Text," you'll find .zip files with the alarminit and alarmfinal folders used in the examples in chapter 3 of the VDM book.
In Blackboard, under "External Links," you'll find links to the Web site for the VDM++ book, to examples from the book, and to the VDM Information Web Site.
The slides on VDM++ we are going through in class are available on Blackboard under "Course Documents", folder "VDM++ Slides."
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.
Updated April 23
Homework Assignments for COMP 681
Exams and quizzes for COMP 681