3 ms·Correctness dictates algorithms. That's what TLA+ helps you with.by Tomis02 6y agoCorrectness dictates algorithms. That's what TLA+ helps you with.