3 ms·
Used it to check lock- and wait-free algorithms. Great tool! One really tough bug however needed TLA+ to be found, running loom over multiple days was apparentl
by jeffreygoesto 3y ago
Used it to check lock- and wait-free algorithms. Great tool! One really tough bug however needed TLA+ to be found, running loom over multiple days was apparently not enough.
- hnjst 3y agoLeslie didn't steal his Turing award ;)