1 paper
Abel Garcia, Cosimo Laneve
This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the…