USER REVIEWS
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.
WRITE USER REVIEW