Home

Tutorials and documentation

There is a large body of knowledge available on VDM and Overture, here we list the most important Overture resources. Additional information about Overture in Japanese can be found here.

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 main dialect 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, version 2, February 2011
  • 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, version 2, February 2011
  • 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, version 2, February 2011

If you have questions on the tutorials, please do not hesitate to contact us, either by posting a message on the Overture SourceForge Help forum 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.


 

Nuts and bolts: reference manuals

Once you have acquainted yourselves with the basic working of the Overture tool using the tutorials, it is time to check out the available reference manuals, which consist of a language reference manual (TR-001) and two user guides (TR-002 and TR-007). And finally, there is a technical report describing how the Overture tools can be used in an industrial development process (TR-006).

Additional materials

Note that there is a large collection of examples on-line available, it is worth checking them out! Additional publications can be found on our development wiki Publication page. For tutors that plan to use Overture tool in a classroom setting, note that there is a large collection of teaching materials available, including lecture slides!