Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 121

Date 24 September 2019
Participants PGL, MV, NB, JF, KP, LDC, TO Minutes by LDC

Review Status of the Action List

A list of actions can here found here.

Overture Language Board Status

Status of VDMTools/ViennaTalk



Status of the Overture Components


Release Planning

Community Development

Licensing of Overture source code

Publications Status and Plans

See Planned Publications.

Any Other Business