Login / Signup
VYRD: verifYing concurrent programs by runtime refinement-violation detection.
Tayfun Elmas
Serdar Tasiran
Shaz Qadeer
Published in:
PLDI (2005)
Keyphrases
</>
concurrent programs
real time
model checking