Ми хотіли б, щоб ви познайомили вас з Choreo - структурованою основою для специфікацій розподілених протоколів у Quint. Пропустіть порожній файл. Отримуйте готові абстракції для передачі повідомлень, керування станами та перевірених у боях шаблонів розподілених систем.