Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 50

Date 30 January 2011, 1300 CET
Participants Peter Gorm Larsen, Shin Sahara, Hiroshi Sako, Marcel Verhoef, Nick Battle, Nico Plat and Augusto Ribeiro

Review of Action List


See detailed report from Shin Sahara (sent to the overture-core mailing list) for the latest on VDMTools from Japan.



Overture 1.0.0RC2 is available with a few bug fixes and it needs testing. See detailed report from Augusto Ribeiro (sent to the overture-core mailing list) for more information.

There was a big discussion on the use of Word files as Overture input/output vs the Overture “Open Source” philosophy with no conclusion reached.

Can testers please up update Overture_Platform_Releases as they make tests. Bugs should be submitted to the SF bug tracker (though please check existing bugs first): https://sourceforge.net/tracker/?group_id=141350&atid=749152


There was discussions on how to raise awareness of Overture and improving the website is on the action list to be updated before the 1.0.0 release.


Nick sent the updates to overture-core mailing list.


Nico sent a report to overture-core that sums the decisions taken by the LB. The majority of the OO issues are now passed to community discussion phase.

Publication plans

See Planned Publications (page has been updated).

Any Other Business

Marcel and Peter proposed a tutorial for FM’11 - using Overture and DESTECS tool

Next Meeting

Next meeting is due on February 27th 2011, 1300 CET