The Overture project is developing a set of open source Eclipse plug-ins to support the integration of various VDM modelling tools (Vienna Development Method). The aim is to provide support for all existing VDM tools and language dialects.
Overture: Formal modelling in VDM is a free software application from the Other subcategory, part of the Development category.
The app is currently available in English and it was last updated on 2011-02-27. The program can be installed on OS Independent (Written in an interpreted language).
Overture: Formal modelling in VDM (version ) is available for download from our website.
Just click the green Download button above to start. Until now the program was downloaded 39 times.
We already checked that the download link to be safe, however for your own protection we recommend that you scan the downloaded software with your antivirus.