State Machine Diagram Validation

Is there an automatic tool (add-on or plugin) to validate semantics and dynamic properties (i.e. cycles, unreacheable states, deadlocks, etc.) of State Machine Diagrams?

Hi Carmargo Cr,

We are sorry that the feature you requested is not yet available in Visual Paradigm, but you can develop your own plugin to create the functionalities you want. Here are the resources that you may find useful:

Plugin User’s Guide

Know-how pages on Open API


I hope this will help.