Formal Verification of a Lock-Free Stack with Hazard Pointers.

Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif

Browse the full ICTAC paper archive.