GitHub repository: nyu-acsys/krill
Description: Experimental verifier for lock-free data structures using flows in a program logic