Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 97

Date 2016-04-17 00:00:00 +0200
Participants PGL, MV, NB, LC, TO, LF, PJ. Minutes by PJ.

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

See RM 35 and RM 36 for more information about the open RMs.

Both RMs have entered the dicsussion phase and are open to input from the public. The LB generally seems supportive of the two RMs.

Status of VDMTools Development

VDMTools is transferred to Kyushu


Status of the Overture Components


Several small changes made to VDMJ and where relevant, Overture. The following taken from VDMJ release notes:


Release Planning

The next release of Overture is scheduled for May 16.

Community Development

Overture Traffic

See download stats on the downloads page

New Users

Paul Chisholm is a new user from Airservices Australia (a govt. owned company that builds systems for the airline industry). He’s interested both in using VDM modelling internally and using the same techniques in international standards (to do with exchange of air traffic information, since he sits on the Change Control Board for some of these standards). The recent improvements to VDMJ/Overture’s type checking messages are a result of Paul’s input.

Strategic Research Agenda

The Strategic Research Agenda is reviewed every other NetMeeting.

Publications Status and Plans

See Planned Publications.

Any Other Business