TLA + outils une boîte à outils pour la langue de la TLA + Spécification et la langue d'algorithme Pluscal, ainsi que leur ...
Télécharger maintenant

TLA + outils Classement & Résumé

TLA + outils Mots clés

simulateur analysser

TLA + outils La description

TLA + Outils est une collection utile d'utilitaires et de composants comprenant un programme permettant de composer des spécifications TLA +, d'un simulateur et d'un vérificateur de modèle adressant une sous-classe de spécifications TLA + "exécutable". Dans le package TLA + Tools, vous pouvez également trouver un utilitaire de traduction TLA + TLA +, un vérificateur de syntaxe pour les spécifications TLA + ainsi qu'un analyseur.

TLA + outils Logiciels associés