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.
Please note: code development has moved to GitHub; you can find us at https://github.com/overturetool/overture
and bug reporting is at
At my work we are using Overture as the primary tool for our development in formal methods and doing system modelling. Overture is a very stable and mature platform, and have with the exception of intellisense, the feature set that we expect from a modern IDE.
Gorgeous Do the job!