Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif. Formal Verification of a Lock-Free Stack with Hazard Pointers. In Antonio Cerone, Pekka Pihlajasaari, editors, Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings. Volume 6916 of Lecture Notes in Computer Science, pages 239-255, Springer, 2011. [doi]
Abstract is missing.