Vi vill att du introducerar dig till Choreo - en strukturerad grund för distribuerade protokollspecifikationer i Quint. Hoppa över den tomma filen. Få färdiga abstraktioner för meddelandeöverföring, tillståndshantering och stridstestade distribuerade systemmönster.