Overture Tool
Formal Modelling in VDM
NetMeeting Default Template
| Deadline | 24 November 2024, 12:00 CEST |
| Participants | Cancelled |
Review Status of the Action List
Overture Language Board Status
Topic 1
Topic 2
Status of ViennaTalk Development
Status of the Overture Components
VDMJ and VDM-VSCode
Release Planning
Community Development
Overture Traffic
See download stats on number of installs.
OVT-23
Strategic Research Agenda
The Strategic Research Agenda is reviewed every other NetMeeting.
Publications Status and Plans
Also see Planned Publications.
Any Other Business
Cancelled.