VDMJ Une application de développement avec support pour VDM-SL, VDM ++ et VDM-RT.
Télécharger maintenant

VDMJ Classement & Résumé

VDMJ Mots clés

produire Dynamics SL analysser analyser VDM analyseur de code générateur d'obligation de preuve vérificateur de type de code source rt

VDMJ La description

VDMJ est un outil pratique et facile à utiliser spécialement conçu pour offrir un outil de base prenant en charge les langages de spécification VDM-SL, VDM ++ et VDM-RT, écrit en Java. Il comprend un analyseur, un vérificateur de type, un interprète, un débogueur et un générateur d'obligation de preuve. Il est utilisé par le projet Overture Eclipse. Caractéristiques principales: Analysez, Type Check, Exécuter et déboguer des spécifications VDM Générer des obligations pour la preuve Génère une couverture de code détaillée pour les tests Effectuer des tests combinatoires Support pour les trois dialectes VDM Soutien aux ensembles de caractères internationaux dans les spécifications Prise en charge des bibliothèques externes et de la télécommande

VDMJ Logiciels associés