Vi vil gjerne at du introduserer deg for Choreo - et strukturert grunnlag for distribuerte protokollspesifikasjoner i Quint. Hopp over den tomme filen. Få forhåndsbygde abstraksjoner for meldingssending, tilstandsadministrasjon og kamptestede distribuerte systemmønstre.