Passer au contenu
Dminor

Dminor

Aide à la vérification du code durant la compilation
Éditeur : Microsoft research
Note

Présentation de Dminor par Telecharger.com

Dminor propose un langage de modélisation de données basé sur le langage M de Microsoft Oslo. Dminor étends le temps de compilation afin de vérifier plus précisément le code. Pour ce faire, il fait usage d'un solveur SMT (Satisfability Modulo Theories). A noter que Dminor fonctionne en mode ligne de commande dans une console Dos sous Windows.

Caractéristiques

Version 0.1.1
Dernière mise à jour 10/03/2016
Licence Gratuit
Taille 4.60 Mo
Systèmes d'exploitation Windows XP/Vista/7/8/8.1/10
Langue Anglais

Télécharger Dminor

Toutes les plateformes compatibles :

Windows XP/Vista/7/8/8.1/10

Captures d'écran