3 ms·I understand them having developed TLA+ to guide their design and test consistency primitives.by namibj 8y agoI understand them having developed TLA+ to guide their design and test consistency primitives.