IDE for the TLA+ tools.
Description de l’éditeur (anglais)
tlaplus-toolbox : présentation
tlaplus-toolbox fait partie des logiciels open source pour Windows de la catégorie « Sciences et mathématiques ». En dehors de Windows, il existe aussi pour Linux.
Installation et configuration requise
L’éditeur fournit des installateurs Portable pour les versions Tous processeurs de Windows. Il fonctionne sans installation (version portable).
Points forts / Points faibles
Points forts
- Open source : chacun peut examiner et compiler le code
- Portable : fonctionne sans installation
- Disponible aussi pour Linux
En résumé: tlaplus-toolbox est un logiciel open source de la catégorie « Sciences et mathématiques », proposé pour les PC Tous processeurs.
Fonctionnalités principales
- Create and edit your specs, with the locations of parsing errors marked in the modules
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code
- View the pretty-printed versions of your modules
- Run the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the trace
- Run the TLA+ proof system
AppStream · Flathub
tlaplus-toolbox : le téléchargement est-il sûr ?
- Le fichier est servi par github.com ; vérifiez qu’il s’agit bien d’un miroir officiel de l’éditeur
- Le lien de téléchargement utilise HTTPS
- Aucune empreinte n’est publiée pour ce fichier
- Le lien n’a pas encore été vérifié
- Le code source est public
- ExeAtlas n’héberge, n’emballe ni ne modifie aucun installateur
Guide associé: Vérifier l’empreinte SHA256 d’un fichier sous Windows
Versions récentes
Toutes les versions (1) ›| Version | Date | Taille | Fichiers |
|---|---|---|---|
| 1.8.0Dernière | — | Tous processeurs ZIP |
Installer en ligne de commande
Installation silencieuse ›scoop install extras/tlaplus-toolboxFichiers programme (.exe): tlc.exe, toolbox.exe
Guide associé: Utiliser winget : installer et mettre à jour
Aussi pour d’autres systèmes
flatpak install flathub org.lamport.tla.toolboxInformations
- Catégorie
- Sciences et mathématiques
- Licence
- MIT
- Prix
- Gratuit
- Classification
- Tous publics
- Configuration requise
- Windows 11 / 10
- Architecture
- Tous processeurs
- Installateur
- Portable
- Autres plateformes
- Linux
- Version
- 1.8.0
- Versions répertoriées
- 1
- Site officiel
- lamport.azurewebsites.net
- Paquet Scoop
- extras/tlaplus-toolbox
Notes et avis
Aucun avis pour l’instant. Soyez le premier à noter ce logiciel.
Alternatives à tlaplus-toolbox
Tout voir ›-
Open source118 k ↓ -
Open source126,7 k ↓ -
Open source46 k ↓ -
Open source50,3 k ↓ -
Open source12,2 k ↓ -
Open source17,7 k ↓ -
Open source24,6 k ↓ - Open source28,6 k ↓
Questions fréquentes
tlaplus-toolbox est-il gratuit ?
Oui. tlaplus-toolbox est un logiciel open source distribué sous licence MIT.
tlaplus-toolbox : le téléchargement est-il sûr ?
Le fichier est servi par github.com ; ExeAtlas n’héberge pas le fichier et ne le modifie pas.
tlaplus-toolbox fonctionne-t-il sur ARM (Windows on Arm) ?
L’installateur ne dépend pas de l’architecture du processeur.
Peut-on utiliser tlaplus-toolbox sans droits d’administrateur ?
Oui, il s’agit d’une version portable : il suffit de la décompresser et de la lancer.
Quelles sont les alternatives à tlaplus-toolbox ?
Stellarium, KiCad, Quarto, Qalculate! et JASP. La page des alternatives les compare.
