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

Tayfun Elmas, Serdar Tasiran, Shaz Qadeer (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics