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:
    274
Autres téléchargements associés
Komodo Edit 11.0.1 Build 18119
IDE avancé avec prise en charge de nombreuses langages de programmation et de script, mise en surbrillance de syntaxe, extraits de code, correcteur d'orthographe, etc.
63
myriaCross Calc 1.04.00
Une calculatrice simple mais efficace pour les projets de broderie.
329
Intel Firmware Engine 2.1.1.112103
Créer des images plateforme de firmware dans un environnement polyvalent et intuitif qui sont compatibles avec les modèles de référence Intel avec cette application
91
EverEdit 4.1.0(4379)
Avec une interface intuitive
425
Bersoft HTMLPrint 9.06
Un utilitaire de programmation pour l'impression des pages HTML une des images de façon invisible
309
JProfiler 10.1 Build 10184
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.
209
dotNet Protector 6.0.6086
code .NET système de protection qui empêche vos assemblées d'être décompilé à l'aide d'un système anti-piratage puissant qui utilise un bouclier auto-protection interne
120
Bitmap2LCD 3.2a Build ba1
Un puissant outil de programmation qui a été spécialement conçu pour aider les développeurs à créer des graphiques pour les écrans monochromes GLCD.
317
A VIP Task Management Solution 4.33
La gestion du temps nous aide à atteindre les objectifs.
324
TNTsdk 2018 Build 20180411
Une collection d'outils conçus pour vous aider à créer des applications diverses qui collaborent avec TNTmips.
228