2 ms·Use TLA+/PlusCal for this. It's what it's there for.by mrkeen 3y agoUse TLA+/PlusCal for this. It's what it's there for.