Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 100

Date 2016-08-21 00:00:00 +0200
Participants PGL, JF, SH, PJ, LDC, TO, NP, SS, TF (Tommaso Fabbri). Minutes by PJ.

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

See the minutes from today’s LB NM

Status of VDMTools Development

Status of the Overture Components



VDMJ has been updated to include RMs 35 and 36 (set1 and seq binds), and released as version 3.2.0. The same changes have been ported to Overture, and will be included in the next release, once the LRM has been updated.


In addition to RMs 35 and 36 Overture has been updated to build against Eclipse Neon.

Release Planning

Overture 2.4.0 will be released on August 30, 2016. A release candidate will be sent out some time next week.

See issues closed since last release

Community Development

Overture Traffic

See download stats on the downloads page

The C code generator

Tommaso Fabbri is working on connecting Overture to TASTE in collaboration with ESA. A paper that describes this project will be submitted to the Overture workshop.

Overture workshop

The local organisers have offered us to take part in a general workshop dinner (for all workshops) on the Monday evening, but it will cost 40 euros per person. PGL will ask the local organisers if the dinner is mandatory for all participants if we accept this offer.

Strategic Research Agenda

The Strategic Research Agenda is reviewed every other NetMeeting.

Publications Status and Plans

See Planned Publications.

Any Other Business