The VDM2C project aims to develop a VDM-to-C translation that allows generated VDM specifications to be executed on smaller devices that have a C or C++ compiler available. The generated code is C89 compliant.
VDM2C can be installed as an Eclipse plugin for the Overture tool. Stable releases are available via the following p2 update site:
Those who want to try out the newest VDM2C features can obtain development builds via the following p2 site:
VDM2C is documented in the Overture tool's user manual (TR-002).
This section lists additional pages related to VDM2C development and release management.
- VDM2C is released according to the following release procedure
- Input for setting up the development environment