These are some of my research projects.
Verifying linearizability for executions of concurrent data structures (eg. stacks, queues and sets).
TODO