Login / Signup

Verifying linearizability with hindsight.

Peter W. O'HearnNoam RinetzkyMartin T. VechevEran YahavGreta Yorsh
Published in: PODC (2010)
Keyphrases
  • model checking