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.