Overture Tool

Overture Tool se présente comme un environnement de développement intégré remarquable pour le développement et l'analyse des modules VDM. 

Il s'agit d'un utilitaire extrêmement puissant pour les développeurs et les étudiants spécialisés dans la programmation et de développement de nouvelles applications. Le programme est livré avec une interface très complexe et modulaire et modulaire à laquelle il faudra un certain temps pour s'habitude. Elle est composée d'une grande fenêtre pour les lignes de saisie et quelques panneaux latéraux pour les journaux d'erreur ou de débogage et les listes de variables.

Plusieurs dialectes VDM sont disponibles dans Overture Tool pour le développement puis une fois qu'un dialecte est choisi, vous êtes libre d'inclure plusieurs bibliothèques. Celles-sont sont utilisées dans le projet et les variables qu'il contient peuvent déterminer les performances d'un modèle.