The SDA Project at University of Bologna is meant to develop a tool for the static analysis of deadlocks in object-oriented programs. Among the goals of the project are:

• it does not use any pre-defined partial order of resource names;
• it deals with dynamic name creation;
• it does not need (almost) any from users;
• it is designed in a clean and well-structured way that is easily understandable and modifiable, especially for didactical purposes.

The SDA Tool is written in Java. In particular:

• it is currently designed for core ABS;
• it captures deadlocks and livelocks in the codes;
• interfacing directly with the ABS toolset.

The SDA Tool has been developed within the European Project HATS. Its developers are:

• Elena Giachino,
• Carlo Augusto Grazia,
• Cosimo Laneve,
• Michael Lienhardt.

Have fun with the SDA tool!