Formal Verification of a Lock-Free Stack with Hazard Pointers (2011)

by B Tofan, G Schellhorn, W Reif
Venue:In Proc. ICTAC. Springer LNCS 6916