Formal Verification of Lock-Free Algorithms | IEEE Conference Publication | IEEE Xplore