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 manuals, which consist of a language manual (TR-001) and a user guide (TR-002). There are guidelines for using combinatorial testing (TR-005). Additionally, there is a technical report describing how the Overture tools can be used as part of an industrial development process (TR-006). Finally, Overture contains facilities for generating C-code and Functional Mock-up Units according to the Functional Mock-up Interface 2.0 for Co-simulation.

• TR-001: VDM-10 Language Manual
• TR-002: Overture VDM-10 Tool Support: User Guide
• TR-005: VDM Combinatorial Testing Guidelines
• TR-006: Development Process for Distributed Embedded Systems using VDM
• TR-007: Overture VDM VSCode Extension: User Guide
• Generating C Code
• FMI Support

Additional materials

Note that there is a large collection of examples on-line available, and 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!