Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 104

Date 2017-01-08 00:00:00 +0100
Participants PGL, NB, TO, NP, PJ, SH, JF, SS. HDM Minutes by HDM.

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

Status of VDMTools Development



Status of ViennaTalk Development

Status of the Overture Components


Release Planning

Community Development

Overture Traffic

See download stats on the downloads page

Follow up on the Business Canvas session from the Overture Workshop

The business model for Overture see https://github.com/overturetool/overture/wiki/Business-model

Publications Status and Plans

See Planned Publications.

New Actions


Any Other Business