Choisissez votre langage: International US DE ES FR

TLA Toolbox 1.4.8

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:
    48.8 Mb
  • Catégorie:
  • Vidéo:
    Vidéo non disponible
  • Captures d'écran:
    Images pas disponible
  • Téléchargements:
    173
Autres téléchargements associés
238
Visual Micro 1709.3
Avoir votre propre IDE 100% compatible Arduino dans Visual Studio, de sorte que vous pouvez créer des ensembles de commande et de les télécharger sur Arduino microprocesseurs
79
Calibre 3.12.0
E-book application de gestion de la bibliothèque
637
PyQt4 5.9.2
utilitaire gratuit qui regroupe les C + + Qt cadre d'application multi-plateforme et multi-plateforme langage interprété Python.
331
ChapterMaker 1.09
Créer et éditer des chapitres vidéo ou d'importer l'échantillon à partir du site Web que vous aimez en utilisant les nombreux outils offerts par cette solution logicielle
42
Windows PowerShell 5.1
Ligne de commande Shell
130
bin2header 0.0.1
Convertisseur pour les fichiers binaires à C / C ++ têtes.
63
Advanced BAT to EXE Converter 4.09
Convertir les fichiers BAT dans un format EXE.
156
NVIDIA FleX 1.0.0
Effectuer des simulations basées sur des particules pour les effets visuels en tournant à cet utilitaire complet qui emballe une vaste bibliothèque.
185
Microsoft Visio Viewer 2013
Viewer pour les diagrammes Visio et dessins
253