DCO Analyzer
What is DCO Analyzer?
DCO Analyzer is a Controllability and Observability Analysis Tool for Distributed Systems Testing
Download
You can download DCO Analyzer here.
How to use
Unzip the file and run the “DCO Analyzer.jar”
Examples
You can find some sequence diagram models ready to analyze here.