Practical TLA+

Appliquez TLA+ à des problèmes du monde réel et acquérez les éléments de base pour commencer avec vos propres spécifications. Ce livre est une ressource pratique et complète sur la programmation TLA+ avec des exemples riches et complexes. Practical TLA+ vous montre comment utiliser TLA+ pour spécifier un système complexe et tester la conception elle-même pour détecter des bugs, de la manière dont Amazon et Microsoft gèrent leurs nouveaux systèmes. Vous apprendrez comment même une courte spécification TLA+ peut trouver des bugs critiques. Commencez par vous familiariser avec un exemple de TLA+ utilisé dans un système de transfert bancaire pour voir comment cela vous aide à concevoir, tester et construire une meilleure application. Ensuite, découvrez les fondamentaux des opérateurs TLA+, de la logique, des fonctions, de PlusCal, des modèles et de la concurrence. Vous découvrirez également une syntaxe avancée spécifique à TLA+ et verrez comment elle fonctionne avec la concurrence combinée à une logique temporelle. Enfin, vous mettrez en pratique ce que vous avez appris avec quatre applications d'étude de cas fonctionnelles.