Documentation
The documentation included on these pages covers an explanation of the SADF terminology and the SADF tools, focusing on the variant with Markov chains as state machines and discrete execution time distributions (SDF3-SADF file format). 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.
Terminology
Features
- 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