Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool


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.