Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 120

Date 8 September 2019
Participants PGL, KP, LC, LF, TO Minutes by TO.

Review Status of the Action List

A list of actions can here found here. No progress reported.

Overture Language Board Status

Status of VDMTools/ViennaTalk

Status of the Overture Components


Release Planning

Next release of Overture, version 2.7.2, is due October 1. A release candidate will be send out on September 16.

Community Development

Overture Traffic

See download stats on the downloads page

The next Overture workshop

Program is in place, pre-proceedings are almost ready for release. FM is still trying to sort out the venues. The website will be updated once where the workshop will take place is confirmed. The pre-proceedings will be a UNEW TR.

Licensing of Overture source code

Publications Status and Plans

See Planned Publications.

Any Other Business