Bruno Lima, PhD bio photo

Bruno Lima, PhD

Research Assistant at INESC TEC
Assistant Professor at UMaia (PT)
Invited Assistant Professor at FEUP (PT)

brunomclima [at]
Twitter Facebook LinkedIn Instagram
Google Scholar

DCO Analyzer

What is DCO Analyzer?

DCO Analyzer is a Controllability and Observability Analysis Tool for Distributed Systems Testing


You can download DCO Analyzer here.

How to use

Unzip the file and run the “DCO Analyzer.jar”


You can find some sequence diagram models ready to analyze here.


Watch the video