Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool


Make a flying start: try a tutorial today!

We believe that the best way to experience a new language, method and tool is by trying it out yourselves. For that we have prepared three tutorials working on a small but illustrative example. There is a tutorial available for each of the main dialects of VDM: VDM-SL (TR-003), VDM++ (TR-004) and VDM-RT (TR-005). Just follow the appropriate link shown below.

If you have questions on the tutorials, please do not hesitate to contact us, either by posting a message on StackOverflow with the VDM++ tag or send us an e-mail. If you want to have a bird’s eye view of the Overture tool capabilities, check out the following video.