A Skeleton for VDM Examples
The Sources
The directory
A README.html sample
How to Create Samples
The Makefile
The DSL file skel.vdm
The C++ Code for embedding skel_ex.cc
Make TEST
Call TEST
Make CLEAN