Il s'agit de l'application Windows nommée tlaplus dont la dernière version peut être téléchargée sous tla2tools.jar. Il peut être exécuté en ligne chez le fournisseur d'hébergement gratuit OnWorks pour les postes de travail.
Téléchargez et exécutez gratuitement en ligne cette application nommée tlaplus avec OnWorks.
Suivez ces instructions pour exécuter cette application :
- 1. Téléchargé cette application sur votre PC.
- 2. Entrez dans notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous voulez.
- 3. Téléchargez cette application dans ce gestionnaire de fichiers.
- 4. Démarrez n'importe quel émulateur en ligne OS OnWorks à partir de ce site Web, mais un meilleur émulateur en ligne Windows.
- 5. Depuis le système d'exploitation OnWorks Windows que vous venez de démarrer, accédez à notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous souhaitez.
- 6. Téléchargez l'application et installez-la.
- 7. Téléchargez Wine depuis les dépôts de logiciels de vos distributions Linux. Une fois installé, vous pouvez ensuite double-cliquer sur l'application pour les exécuter avec Wine. Vous pouvez également essayer PlayOnLinux, une interface sophistiquée sur Wine qui vous aidera à installer des programmes et des jeux Windows populaires.
Wine est un moyen d'exécuter un logiciel Windows sur Linux, mais sans Windows requis. Wine est une couche de compatibilité Windows open source qui peut exécuter des programmes Windows directement sur n'importe quel bureau Linux. Essentiellement, Wine essaie de ré-implémenter suffisamment de Windows à partir de zéro pour qu'il puisse exécuter toutes ces applications Windows sans avoir réellement besoin de Windows.
CAPTURES D'ÉCRAN
Ad
tlaplus
DESCRIPTION
TLC est un vérificateur de modèle d'état explicite pour les spécifications écrites en TLA+. Le TLA+Toolbox est un IDE pour TLA+. TLA+ est un langage de haut niveau pour la modélisation de programmes et de systèmes, en particulier ceux simultanés et distribués. Il est basé sur l'idée que la meilleure façon de décrire les choses avec précision est d'utiliser des mathématiques simples. TLA+ et ses outils sont utiles pour éliminer les erreurs de conception fondamentales, difficiles à trouver et coûteuses à corriger dans le code.
Fonctionnalités
- À propos de TLC est un vérificateur de modèle d'état explicite
- Pour les spécifications écrites en TLA+
- La TLA+Toolbox est un IDE pour TLA+
- TLA+ est un langage de haut niveau pour la modélisation de programmes et de systèmes
- TLA+ et ses outils sont utiles pour éliminer les erreurs de conception fondamentales
Langage de programmation
Java
Catégories
Il s'agit d'une application qui peut également être récupérée sur https://sourceforge.net/projects/tlaplus.mirror/. Il a été hébergé dans OnWorks afin de pouvoir être exécuté en ligne de la manière la plus simple possible à partir de l'un de nos systèmes d'exploitation gratuits.
