Overture: Formal Modelling in VDM
Mirror server info
Download of OvertureIde-1.0.0_RC3-macosx.carbon.x86.zip (75,310,133 bytes/MD5: 306fd093feb0675610c40d23fe593e3a) should begin shortly. If not so, try to click OvertureIde-1.0.0_RC3-macosx.carbon.x86.zip. Project DescriptionThe 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.Search KeywordsNo Data |