Bruno Lima bio photo

Bruno Lima

PhD Student in Informatics Engineering at FEUP (PT)
Researcher Assistant at INESC TEC
Assistant Lecturer at FEUP (PT)

bruno.lima [at] fe.up.pt
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