Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 110

Date 27 August 2017, 1200 CEST
Participants PGL, NP, NB, PC, HM Minutes by TO.

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

Status of VDMTools Development

Working on refactoring and support for ord/eq clauses. A new release will be made when the current features get stabilized.

Status of ViennaTalk Development

New major version “Maribor” is released.


Status of the Overture Components


Some minor fixes has been done.


Several tool enhancements has been made since the last meeting:

Release Planning

Next Overture release is due by September 11.

Community Development / Overture workshop status

Check out the Overture 15 workshop page, for the latest information about the upcoming workshop in Newcastle.

Overture Traffic

See download stats on the downloads page

Publications Status and Plans

TO will make updates.

Also see Planned Publications.

Any Other Business

No AOB was discussed.

Meeting closed at 12:38