Wir möchten Ihnen Choreo vorstellen - eine strukturierte Grundlage für verteilte Protokollspezifikationen in Quint. Überspringen Sie die leere Datei. Erhalten Sie vorgefertigte Abstraktionen für Nachrichtenübertragung, Zustandsverwaltung und erprobte Muster für verteilte Systeme.