Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 47

Date 26 September 2010, 1300 CET
Participants Peter Gorm Larsen, Hiroshi Sako, Kenneth Lausdahl, Nico Plat, Nick Battle, John Fitzgerald, Ken Pierce (7 persons)

Review of Action List


See detailed report of Shin Sahara (sent to the overture-core mailing list) for the latest on VDMTools from Japan. The latest version is RC25. The type checker has been modified and Visual Studio 2010 is now supported.



Overture IDE 0.3.0 has been released. A bug/feature request list has been started and work is being done on improving combinatorial testing (to include test coverage).


New AST / TC project has some issues, particularly choice of AST structure to support TC. There is also the issue of whether the project should target the new / emerging VDMCore semantics or just copy the current VDMJ functionality / approach. No updates are expected while Kenneth is on paternity leave.


Nick sent estimates of effort required for resolving the OO issues raised at the London workshop to the overture-core mailing list.

Publication plans

See Planned Publications (page has been updated).

Any Other Business

John and Sune submitted a proposal to hold an Overture worksop at FM11 in Limerick, Ireland.

Next Meeting

Next meeting is due on Sunday October 17th 2010, 13h00 CET.