Good tool for state diagrams

[simonjwright]

@evanescente-ondine

I am not familiar with UML, can it generate the complete states of a (simplified) program from a set of algorithmic rules ?

I don’t understand the question, sorry.
The tool in question (ColdFrame) generates code from models - so, probably not.

An example of an SM, diagram generated via Graphviz: