TLA+

TLA+, acronyme de « Temporal Logic of Actions » (« logique temporelle des actions » en anglais), est un langage de méthode formelle développé by Leslie Lamport. Il est utilisé pour la conception, la modélisation, la documentation et la vérification de programm…