Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Overture NetMeeting 130

Date 07 November 2021, 12:00 CEST
Participants PGL, KP, NB, TO, MV 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.

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

Status of VDMTools/ViennaTalk


No major change.


There will be a major release this year to adopt the new debugger architecture of the updated major version of Pharo Smalltalk. The refactoring browser will also be available in the planned major release.

Status of the Overture Components

VDM for VSCode

New release for the TR-007: Overture VDM VSCode Extension: User Guide made last month.

There is a new VSCode 1.2.2 in preparation. This includes “exception breakpoints” (the ability to stop on particular VDM “exit” statements), and a new LSP HLD to describe the basic design of the language server. There will also be support for “code lenses” that appear above functions or operations, which allow them to be launched or debugged without the tedious process of setting up a launch configuration. It will also support remote control operation of a VDM specification. And lastly, it supports the simple inclusion of plugins to handle extended (ie. unknown!) LSP requests - this is how Leo has managed to incorporate the Isabelle translation. You simply add the plugin jar to the classpath.

Release Planning

Community Development

Overture Traffic

See download stats on the downloads page

For VSCode see status on the extension page

Overture Workshop

We had 16 participants with us at Aarhus University and 38 attendees in the online session. The slides are now available in the workshop page. The most important outcome was the idea of a hackathon to be held next year! 20th workshop should also be memorable and maybe organized on 2023.

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