Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Overture NetMeeting 128

Date 27 June 2021, 12:00 CET
Participants HDM, NB, TO, Minutes by HDM

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

Open Requests

The full list of open issues is here.

Status of VDMTools/ViennaTalk


No changes


Working on refactoring support on VDM Browser.

Status of the Overture Components

Summer intern at AU will contribute to Overture VSCode migration.

VDM for VSCode

Release Planning

Community Development

Overture Traffic

See download stats on the downloads page

For VSCode see status on the extension page

Overture Workshop

The CFP is out and everyone is encouraged to submit paper proposals. Deadline is 12 July!

Strategic Research Agenda

The Strategic Research Agenda is reviewed every other NetMeeting. No progress this time.

Publications Status and Plans

Planned Publications

Any Other Business