TLA Toolbox 1.5.5

Telecharger 0 Imagenes Pas de video

TLA Toolbox - Un environnement de développement intégré pour la rédaction et la vérification des spécifications TLA +.

Un environnement de développement intégré pour la rédaction et la vérification des spécifications TLA +.

TLA + est un langage de spécification qui est conçu pour aider à la création des spécifications de haut niveau à la fois pour les systèmes distribués et concurrents.

TLA Toolbox est l'IDE qui a été conçu afin de vous permettre d'utiliser le model checker TLC et TLAPS ainsi que le système de preuve TLA + pour créer et vérifier les spécifications TLA +.

TLA Toolbox Details

  • La taille du fichier:
    88.6 Mb
  • Catégorie:
  • Vidéo:
    Vidéo non disponible
  • Captures d'écran:
    Images pas disponible
  • Téléchargements:
    213
Autres téléchargements associés
Nunanny Parental Controls 16.1.8
Empêcher votre ordinateur d'accéder à certains sites Web ou de lancer diverses applications en se basant sur cette application digne de confiance.
66
Label Designer Plus DELUXE 11.6.2.0
Créez tout type de label rapide et facile!
255
DLL Export Viewer 1.66
Observateur d'exportation DLL
229
TekCERT 2.3.0
Auto-signé Générateur certificat.
374
Advanced BAT to EXE Converter 4.09
Convertir les fichiers BAT dans un format EXE.
165
Dotfuscator Professional Edition 4.33.0
Réduisez considérablement le risque de piratage et assurez-vous que vos produits ne seront pas utilisés illégalement ou modifiés sans votre consentement en utilisant cette application
11
Pascal Analyzer 9.2.3.0
Outil qui analyse Delphi Borland ou un code en langage Pascal.
358
BusinessCards MX 5.0
Faites votre propres cartes de visite
92
Themida 2.4.5.0
Conçu pour les développeurs de logiciels qui souhaitent protéger leurs applications contre la fissuration des logiciels, fournissant ainsi une solution complète pour surmonter ces problèmes
78
DrJava 20140826 r5761
Un environnement de développement fiable et utile spécialement conçu pour les utilisateurs qui souhaitent écrire rapidement, débogage et compiler les programmes Java.
107