Qu'est-ce que VDMTools ?
VDMTools est une suite d'outils de développement logiciel prenant en charge la méthode de développement de Vienne (VDM), un langage de spécification formelle utilisé dans l'ingénierie logicielle critique pour la sécurité. Développé par CSK Corporation au Japon, il comprend un vérificateur de type, un interpréteur et des capacités de génération de code pour les spécifications VDM-SL, VDM++ et VDM-RT.
Fichiers ouverts par VDMTools
Developer Files
Cliquez sur n'importe quel badge pour obtenir les détails complets par format - ce que c'est, comment l'ouvrir et comment le convertir.
Télécharger VDMTools
SOURCEwww.vdmtools.jpsite officiel - évitez les portails de téléchargement tiers
