tla+

Langage de programmation TLA+

Créé par Leslie Lamport et soutenu par Amazon Web Services, Microsoft et Oracle