Overture Tool
Formal Modelling in VDM
Contact
Stack Overflow is the main venue for posting questions and discussions about VDM. Posts with tag ‘‘vdm++’’ are actively monitored by the developers of the language.
Tool Issues
Mailing lists
If you wish to be added to this list, please send us a mail. You can also join a mailing list for Overture users.
This mailing list is the main channel of communication of the user community.
To post a message to this mailing list, send a mail to overture-users.eng@MailList.au.dk.
To see the mailing list archives go to Overture-Users archives.
To subscribe to this mailing list please fill the subscription form.