3 ms·
What we need is for formal verification tools (for linearizability, etc.) to be far more understood and common.
by cmrdporcupine 2y ago
What we need is for formal verification tools (for linearizability, etc.) to be far more understood and common.