Login / Signup
Formal Verification of a Lock-Free Stack with Hazard Pointers.
Bogdan Tofan
Gerhard Schellhorn
Wolfgang Reif
Published in:
ICTAC (2011)
Keyphrases
</>
formal verification
model checking
bounded model checking
automated verification
symbolic model checking
model checker
concurrency control
program slicing
risk assessment
concurrent execution