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] gmail.com
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

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.

Video

Watch the video