Report - COVER FEATURE ELIMINATING CONCURRENCY BUGS WITH …cccp.eecs.umich.edu/papers/kelly-computer09.pdf · subtle concurrency bugs in thoroughly tested software caused the notorious Therac-25

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form