Overture Tool
Formal Modelling in VDM
Examples
We maintain a large database of illustrative examples, coming from a wide variety of sources and application areas. These examples can be used as inspiration for your own modelling work. We also use these examples to validate changes made to the tools. All examples are included in our continuous build environment such that both model and tool consistency is checked.
VDM examples are available in all of the three dialects. On these pages, you find a detailed overview of each example. You can also download a bundle of all examples for each dialect:
| VDM-SL example listing page | zip bundle |
| VDM++ example listing page | zip bundle |
| VDM-RT example listing page | zip bundle |
A guide that explains how to import the projects are available at Importing External Zipped Projects into Overture.