CDSChecker: A Model Checker for C11 and C++11 Atomics - View it on GitHub