VDM
En d'autres termes
Vienna Development Method
Définition
Méthode formelle de preuve de programmes, comparable à Z et reposant sur la même théorie ensembliste.
Visuellement, VDM est plus simple que Z, n'utilisant pas d'alphabet spécifique. Fonctionnellement, elle permet de traiter le cas des prédicats indéfinis, par l'utilisation d'une logique ternaire, alors que Z repose sur la logique binaire classique.