Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool


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.

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!