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.