Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

NetMeeting Default Template

Date 28 August 2022, 12:00 CEST
Participants HDM, NB, TO, PGL, LF. Minutes by TO.

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

The LB would like to hear from VDM users about RC#50 “Inconsistency with eq_T and ord_T signatures”.

LB minutes: https://github.com/overturetool/language/wiki/Minutes-of-the-LB-NM,-28th-Aug-2022

Status of ViennaTalk Development

no major updates

Status of the Overture Components


VDMJ is now released to the Maven Central repository under the groupId “dk.au.ece.vdmj”. The latest release is 4.4.6. There is also a snapshot release of 4.5.0-SNAPSHOT which adds an event driven method for VSCode plugins to be informed of various events, like saving files or typechecking.

Release Planning

VSCode 1.3.4 Release under way

It will include VDM to UML translation and the most up to date VDMJ


Community Development

Overture Traffic

See download stats on the downloads page

OVT-20 amd OVT-21

OVT-20 proceedings are now available at https://arxiv.org/abs/2208.10233. Updates will be made on the publications list and hopefully be soon appearing as scholar results.

OVT-21 is already under way. Easychair is due to appear soon. Need to discuss deadlines through as the spacing between last workshop and submission deadline is roughly 2 months.

Strategic Research Agenda

The Strategic Research Agenda is reviewed every other NetMeeting.

Publications Status and Plans

Also see Planned Publications.

Any Other Business