Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

NetMeeting 88

Date 2015-05-3 13:00 CET
Participants Marcel Verhoef, Nick Battle, Peter Gorm Larsen (chair), Peter Tran-Jørgensen, Shin Sahara, Tomohiro Oda. Minutes by Peter Tran-Jørgensen.

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

Add a VDM-Util function for getting current system time

There has been a proposal to extend the standard libraries with support for measuring the time it takes to execute a functional description. The LB will soon be ready to vote on this RM.

See https://github.com/overturetool/language/issues/31

Pure operations

Status of this request for modification remains unchanged.

Status of VDMTools Development


There have been no comments from the public on the v9.0.6 release.

Status of the Overture Components

Java code generation

PVJ has done some work on code generation of VDMSL. Its not yet totally complete as it does not take imports/exports and renaming into account. In addition to that PVJ is also working on generating JML from pre/post/invariants focusing only on SL for now.


One small bug fix this time, to prevent the use of “RESULT” in parameter/variable definitions.


Recently Tomohiro Oda has developed python code to animate VDM models using VDMPad as animation engine. For more information on the project see https://github.com/tomooda/pyVDMC

Release Planning

Nothing to report.

Community Development

Overture Traffic

See download stats on the downloads page

Google Analytics - see google analytics

Top 6 Apr 3 - May 3: Contry - views

Strategic Research Agenda

The Strategic [[Research]] Agenda is reviewed every other NetMeeting.

Publications Status and Plans

Also see Planned Publications.

Any Other Business