The Overture Tool is an open source and reliable IDE Integrated Development Environment created to assist programmers in developing and analyzing VDM models. The application is built on the Eclipse platform and was written exclusively in Java. The aim of this utility is to offer support for all existing language dialects and VDM tools.
The application features a highly complex interface, that may pose some problems to novice users. You might need some time to get accustomed to the program and its functions. The application provides support for three VDM development dialects, such as RT, PP, and SL. You can use this tool to develop, debug and run extensive models.
Pros
- The utility is able to run and fix extensive models.
- Support for three VDM development dialects is included.
Cons
- The application might pose some problems to less experienced users.
- You might need some time to get accustomed to the program.
Download the free Overture Tool