VDM Examples


These are examples demonstrating the usage of the VDM Class Library

The following examples are available (not all are yet prepared for HTML), some of these examples use old fashioned K&R C, some use ANSI-C with prototypes and the newer ones are for C++ with the extension of automatic storage management.

To build the test programs with make TEST may last a while, expecially on machines with limited memory equipment