sda logo

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:

Have fun with the SDA tool!