Choisissez votre langage: International US DE ES FR

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:
    189
Autres téléchargements associés
BugTracker.NET 3.6.5
Puissance et la flexibilité quand vous en avez besoin
105
SourceMonitor 3.5.0.306
Le code source métriques histoire pour C #, C + +, C, Java, Delphi, VB6, VB.NET, HTML.
259
JProfiler 10.0.3 Build 10078
Un logiciel complet et fiable qui vous aide à trouver les goulots d'étranglement de performance, ainsi que pour résoudre les problèmes de filetage.
147
QSMM 1.16
Développer des systèmes intelligents avec ce cadre
79
OpenGL Extension Viewer 4.5.0 Build 34.0.0.0
Affiche des informations utiles sur l'OpenGL
152
C1A3F305 Medical Claim Entry System 1.18I-27
Modèle C1A3F305 système médical d'entrée revendication
91
Vagrant 2.0.1
Développement virtualisé en toute simplicité.
305
DeepGit 3 Build 3025
Un outil d'accompagnement pour tout client Git, fournissant un moyen de trouver l'origine des lignes de code dans un référentiel et de suivre les changements beaucoup plus faciles
36
Allatori Obfuscator 6.0
Obfuscator Java qui appartient à la famille de la deuxième génération obfuscators
98
Voicent Phone Appointment Reminder 8.4.1
Rappel automatique rendez-vous téléphonique
257