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.