TLA+

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

TLA+, acronyme de « Temporal Logic of Actions » (« logique temporelle des actions »), est un système de méthode formelle pour les algorithmes parallèles et distribués.