Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 140

Date 26 May 2024, 12:00 CEST
Participants HM, NB, PGL, TO Minutes by NB

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

Status of ViennaTalk Development

Status of the Overture Components


VSCode Extension

LSP Server

Release Planning

Community Development

The web appearance of VDM

Overture Traffic

See download stats on number of installs.


15th of July is the deadline for paper submissions… Need to check easychair is up and all the fine details. The possible paper submissions were briefly discussed.

Publications Status and Plans

Also see Planned Publications.

Any Other Business