TLA+

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche

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.