 | Boîte à outils TLAUn environnement de développement intégré pour l'écriture et la vérification des spécifications TLA + |
| Télécharger maintenant | |
Boîte à outils TLA Classement & Résumé
Publicité
- Licence:
- Freeware
- Nom de l'éditeur:
- Microsoft Research
- Systèmes d'exploitation:
- Windows XP / Vista / 7
- Taille du fichier:
- 48.6 MB
Boîte à outils TLA Mots clés
Boîte à outils TLA La description
TLA + est une langue de spécification conçue pour aider à la création de spécifications de haut niveau pour les systèmes distribués et simultanés. TLA Toolbox est l'IDE qui a été conçu afin de vous permettre d'utiliser le vérificateur de modèle TLC et les TLAPS ainsi que le système anti-épreuve TLA + pour créer et vérifier les spécifications TLA +.
Boîte à outils TLA Logiciels associés
Xoctave
Fournissez une interface utilisateur complète et graphique (GUI) pour GNU Octave. ...
9.1 MB
