The VDM2C project aims to develop a VDM-to-C translation that allows generated VDM specifications to be executed on smaller devices which has a C or C++ compiler available.
The translation aims to support most of the common constructs in VDM and therefore will have an overhead compared to dedicated C code.
The following contributes to this overhead:
- the nature of the VDM language requires runtime type information similar to RTTI for C++
- ...
VDM2C can be installed as a plugin for the Overture tool. Stable releases are available via the p2 update site:
For those who want to try out the newest VDM2C features it is possible to obtain development builds via the following p2 site:
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