Verifying linearizability for executions of concurrent data structures (eg. stacks, queues and sets).
Feb 15, 2021
TODO
Jan 1, 0001