Detecting potential deadlocks with static analysis and runtime monitoring (2005)

by Rahul Agarwal , Liqiang Wang , Scott D. Stoller
Venue:In Proceedings of the Parallel and Distributed Systems: Testing and Debugging (PADTAD) Track of the 2005 IBM Verification Conference
Citations:26 - 8 self