VYRD: Verifying concurrent programs by runtime refinement-violation detection (2005)

Cached

Download Links

by Tayfun Elmas , Serdar Tasiran
Venue:In PLDI ’05: Proc. of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation
Citations:24 - 7 self