Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 48

Date 28 November 2010, 1300 CET
Participants Peter Gorm Larsen, Hiroshi Sako, Shin Sahara, Kenneth Lausdahl, Nick Battle, Ken Pierce, David Møller, Sune Wolff and Augusto Ribeiro

Review of Action List


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

LB elections

John Fitzerald was replaced by Sune Wolff in the LB. The LB is now composed of Nico Plat, Nick Battle, Shin Sahara and Sako Hiroshi.



Overture IDE 1.0.0 release was discussed. It was agreed to create wiki pages where people could write down what platforms and dialects where tested. It was sugested that the page Overture_Platform_Releases is used to do so. Documentation should be distributed together with the executable and links made in the help pages.


Nick sent the updates to overture-core mailing list.

Publication plans

See Planned Publications (page has been updated).

Any Other Business


Next Meeting

Next meeting is due on December 19th 2010, 1300 CET