Overture Tool 1.0.0 Released - Tuesday 2 March 2011 Edit

After several years of hard work we are now ready to release version 1.0.0 of the Overture Tool for Formal Modelling in VDM! This tool is entirely written in Java and provides support for creating and analyzing VDM-SL, VDM++ and VDM-RT models from within Eclipse. It is open source and free to use. It has a very rich feature set and is accompanied by several manuals, tutorials and a large collection of examples. Downloading and installation is easy and takes just a few minutes.

External links Edit

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.