Login / Signup
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs.
Vineet Kahlon
Chao Wang
Published in:
CAV (2010)
Keyphrases
</>
probabilistic model
high level
data model