Créé par Leslie Lamport et soutenu par Amazon Web Services, Microsoft et Oracle, le langage de programmation TLA+ sert à modéliser des logiciels et des systèmes complexes, concurrents et distribués.
Pour lire l’article en intégralité, cliquez ici.
- 27 avril 2023
- Partager
Partager ce contenu