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.
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@overturetool.org.
To see the mailing list archives go to Overture-Users archives.
To subscribe to this mailing list please fill the subscription form.