Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Overture NetMeeting 131

Date 27 February 2022, 12:00 CEST
Participants HDM,PGL,TO,KP,LF,NB Minutes by TO

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

Nick Battle, Anne Haxthausen, Ken Pierce, Hugo Daniel Macedo, Leo Freitas and Tomohiro Oda are elected as language board memers.

Open Requests

The full list of open issues is here.

Progress was made on clarifying/unifying the let/def behaviours among different tools.

Status of VDMTools/ViennaTalk


No major progress


The second revision of ViennaTalk Boulder has been released. (Feb 25, 2022)

Status of the Overture Components

There has been a request to publish overture with annotations as an artifact. We will look into this.

VDM for VSCode

Jonas has been refactoring and extending the features of VSCode. Leo visited AU and progress was made in terms of supporting the isabelle translation and other related proof support.

Release Planning

Community Development

Overture Traffic

See download stats on the downloads page

For VSCode see status on the extension page

Overture Workshop

This year’s workshop page.

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