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
The SDA Tool is written in Java.
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:
Have fun with the SDA tool!