نود منك أن تعرفك على Choreo - أساس منظم لمواصفات البروتوكول الموزعة في Quint. تخطي الملف الفارغ. احصل على تجريدات معدة مسبقا لتمرير الرسائل وإدارة الحالة وأنماط الأنظمة الموزعة التي تم اختبارها في المعركة.