![](/statics/img/blank.png)
VDMJ
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 4.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur VDMJ
VDMJ fournit un support d’outils de base pour les langages de spécification VDM-SL, VDM++ et VDM-RT, écrits en Java. Il comprend un parser, un correcteur de type, un interprète, un débugger et un générateur d’obligations de preuve. Il est utilisé par le projet d’éclipse d’ouverture.