Overture Tool
Formal Modelling in VDM
Net Meeting 111
| Date | 8 October 2017, 1200 CEST |
| Participants | Hugo, Ken Pierce, Luís, Nick, PGL. Minutes by Hugo. |
Review Status of the Action List
- 88-1 No progress.
Overture Language Board Status
The LB meeting was canceled due to low attendance.
Status of VDMTools Development
Nothing to report.
Status of the Overture Components
VDM2C
VDM2C version 0.1.16 now contains support for the distributed aspects of VDM-RT. More information about this feature is available in the release notes.
Release Planning
Next release of Overture, version 2.5.4, is due by November 11, 2017.
Community Development
Overture Traffic
See download stats on the downloads page
16th Overture Workshop
Please check the call for papers
Strategic Research Agenda
No discussion this meeting.
Publications Status and Plans
See Planned Publications.