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:
    237
Autres téléchargements associés
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.
331
Windows PowerShell 5.1
Ligne de commande Shell
169
XPS Reader 0.2
WPF lecteur de documents XPS
1,560
XULRunner 41.0.1
Bootstrap applications XUL XPCOM aussi riches que Firefox et Thunderbird
154
GeoDataSource World Cities Database (Premium Edition) January 2016
base de données complète au format texte approprié pour les applications nécessitant une liste complète des noms de ville.
135
Nicomsoft OCR SDK 7.0.885
Insérer la technologie OCR dans vos produits.
423
Artifactory 6.0.3
Dépôt binaire avancée.
293
REQCHECKER 1.7.2.1430
Analyser les documents contre certaines exigences et gérer également la couverture partielle, les orphelins et la couverture supprimée avec cette application légère
26
DrRacket 6.11
Source permet de ressortir pour la syntaxe et des erreurs d'exécution, l'appui aux niveaux de plusieurs langues, ainsi que d'un pas à pas algébriques.
734
QuickBuild 6.0.2
Un serveur d'automatisation de construction multi-plateforme et la gestion
299