Nous aimerions vous présenter Choreo - une fondation structurée pour les spécifications de protocoles distribués dans Quint. Évitez le fichier vide. Obtenez des abstractions préconstruites pour le passage de messages, la gestion d'état et des modèles de systèmes distribués éprouvés.