VisualSTATE è l'ambiente di sviluppo visuale basato su macchine a stati UML per la generazione automatica del codice C/C++ a partire da modelli di macchine a stati.
Generazione automatica della documentazione di progetto.
Editor grafico intuitivo.  Include una serie di tool di verifica e debug: verifica statica della macchina a stati, di un debugger a livello di macchina. a stati con possibilità di collegamento al target tramite la tecnologia Reallink.
Conforme alla notazione UML per le macchine a stati.