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.
Check out http://www.overturetool.org and follow us on Twitter: @overturetool
We would like to hear from you!
The Overture Tool project
[log in to unmask]
|