![](/statics/img/blank.png)
Overture: Formal modelling in VDM
License: Free File size: N/A
Users Rating: 2.6/5 - 5 votes
Please wait ... Your download link is being verified for malicious content.
You'll be able to download in 5 seconds.
You'll be able to download in 5 seconds.
ABOUT Overture: Formal modelling in VDM
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.