Home
Tool support
Example models
Chemical plant
(Chapter 2)
Alarm init
(Chapter 3)
Robot (Chapter 6) CWS (Chapter 7) CWS (Chapter 8) Enigma (Chapter 9) CSLaM (Chapter 10) POP3 (Chapters 12 and 13)
Solutions to exercises
Exercise 7.17
Errata Teaching VDM++ Related material Extra examples Contact

Teaching VDM++

We have prepared a set of slides (Microsoft Powerpoint) that can be used for teaching VDM++, currently covering chapter 1 to 8 of the book. Each file corresponds roughly to a one hour lecture. The course material uses the examples from the book. It is encouraged to combine the lectures with practical exercises (home work assignments) using VDMTools Lite which can be downloaded for free from the tools page. All the examples from the book and the course are available on-line. If you have feedback on the provided material (questions, improvements), we would like to hear from you! Please use the contact page.