Dynamic Deadlock Analysis of Multi-threaded Programs.

Saddek Bensalem Klaus Havelund

Published in: Haifa Verification Conference (2005)

Keyphrases

multi threaded
data analysis
scheduling problem