Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 111

Date 8 October 2017, 1200 CEST
Participants Hugo, Ken Pierce, Luís, Nick, PGL. Minutes by Hugo.

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

The LB meeting was canceled due to low attendance.

Status of VDMTools Development

Nothing to report.

Status of the Overture Components


VDM2C version 0.1.16 now contains support for the distributed aspects of VDM-RT. More information about this feature is available in the release notes.

Release Planning

Next release of Overture, version 2.5.4, is due by November 11, 2017.

Community Development

Overture Traffic

See download stats on the downloads page

16th Overture Workshop

Please check the call for papers

Strategic Research Agenda

No discussion this meeting.

Publications Status and Plans

See Planned Publications.

Any Other Business