Login / Signup

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

Bogdan TofanGerhard SchellhornWolfgang 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