Tutorials

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.

• TR-003: Tutorial for Overture/VDM-SL, P. G. Larsen, J. S. Fitzgerald, S. Wolff, N. Battle, K. G. Lausdahl, A. Ribeiro, K. G. Pierce, S. Riddle, current version
• TR-004: Tutorial for Overture/VDM++, P. G. Larsen, J. S. Fitzgerald, S. Wolff, N. Battle, K. G. Lausdahl, A. Ribeiro, K. G. Pierce, and S. Riddle, current version
• TR-005: Tutorial for Overture/VDM-RT, P. G. Larsen, J. S. Fitzgerald, S. Wolff, N. Battle, K. G. Lausdahl, A. Ribeiro, K. G. Pierce, and S. Riddle, current version

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.