| 
|
QuoteRef: corbJC3_1996
topics >
all references >
ThesaHelp:
references c-d
Topic:
deadlocks
Topic:
code optimization by flow analysis
Reference
Corbett, J.C., "Evaluating deadlock detection methods for concurrent software", IEEE Transactions on Software Engineering, 22, 3, March 1996, pp. 161-180. Google
161 ;;Quote: improve static reachability analysis for deadlock detection with state space reduction, symbolic model checking, and inequality necessary conditions
ThesaHelp: references c-d (337 items)
Topic: deadlocks (21 items)
Topic: code optimization by flow analysis (45 items)