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