Versione italiana
JCAT- A Deadlock Analysis Tool for Java Programs