Sign in

VYRD: verifYing concurrent programs by runtime refinement-violation detection.

Tayfun ElmasSerdar TasiranShaz Qadeer
Published in: PLDI (2005)
Keyphrases
  • concurrent programs
  • real time
  • model checking