The documentation covers an explanation of the SADF terminology and the SADF tools. The reference guides include an explanation of the XML format for specifying SADF graphs and an overview of the command line options for the SADF tools as well as their API.
- SADF graph transformation algorithms
- Formal verification of qualitative properties
- Analysis of quantitative performance metrics
- Visualisation and documentation of SADF graphs
- Simulation of SADF graphs
- Conversion to other XML formats