Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 112

Date 12 November 2017, 00:00 CET
Participants PGL, NB, TO, PJ. Minutes by PJ.

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

The mintues of today’s LB NM are available here.

Status of VDMTools Development

No major changes.

Status of the Overture Components

See release planning for recent Overture changes.


We soon plan to release a new version of VDM2C that uses Overture 2.5.4.

Release Planning

Overture version 2.5.4 was released on November 10. This release contains several bug fixes and enhancements for the core features, and increased coverage of constructs that can be code-generated to Java.

Next release is due by December 11, 2017.

PGL will find new release dates for 2018.

Community Development

PGL is trying to reach out to the guys from Taiwan who are working on proving POs using model checking. They use Overture as part of their work, so there is definitely a chance that we could get some collaboration going.

PGL and Tomo (among others) will be attending a INTO-CPS tutorial in Japan.

Overture Traffic

See download stats on the downloads page

Strategic Research Agenda

The Strategic Research Agenda is reviewed every other NetMeeting.

Publications Status and Plans

See Planned Publications.

Any Other Business

It was discussed how many core meeting we should have in 2018. There will probably be around five, in the hope that we can get more people to attend these meetings.