Nos gustaría presentarte Choreo: una base estructurada para especificaciones de protocolos distribuidos en Quint. Salta el archivo en blanco. Obtén abstracciones preconstruidas para el paso de mensajes, la gestión de estados y patrones de sistemas distribuidos probados en batalla.