Sign in
Verifying linearizability with hindsight.
Peter W. O'Hearn
Noam Rinetzky
Martin T. Vechev
Eran Yahav
Greta Yorsh
Published in:
PODC (2010)
Keyphrases
</>
model checking