3 ms·
What formal verification, if any, has been done on this (e.g. with TLA+ or similar)? Lock-free/wait-free designs are notoriously bug prone.
by erichocean 3y ago
What formal verification, if any, has been done on this (e.g. with TLA+ or similar)? Lock-free/wait-free designs are notoriously bug prone.