TLA+
Cette page est une très courte ébauche oubliée.
À l'instar du célèbre « Une pomme est un fruit » qui a marqué l'histoire de Wikipédia, n'hésitez pas à la développer (comment ?)
Vous pouvez également enrichir les pages proposées dans la rubrique « Pommes à croquer » du bistro du jour.
Cet article est une ébauche concernant l’informatique théorique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
TLA+, acronyme de « Temporal Logic of Actions » (« logique temporelle des actions » en anglais), est un système de méthode formelle pour les algorithmes parallèles et distribués. C'est un langage de spécification formel utilisé pour la conception, la modélisation, la documentation et la vérification de programmes, en particulier les systèmes distribués et concurrents. Le pseudo-code du langage TLA+ est considéré comme exhaustivement testable. Il peut servir à générer des représentations visuelles (blueprints) de systèmes logiciels.
Notes et références modifier
