code optimization by flow analysis
"Evaluating deadlock detection methods for concurrent software",
IEEE Transactions on Software Engineering, 22, 3, March 1996, pp. 161-180.
|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)