(I wasn’t sure what to link to for this one)

It’s a framework for experimentally verifying correctness of multithreaded algorithms by randomly performing operations and comparing the results with a sequential implementation of the same thing.

The paper/code are available here and there’s some follow up on GitHub - Fast linearizabilty checker (paper)