Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Overture NetMeeting 129

Date 29 August 2021, 12:00 CEST
Participants HDM,JR,NB,LF,TO,MV,PGL Minutes by TO

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


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

Overture 19 will be held at Aarhus. Reviews started and should be under way.

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