SMG - State Machine Generator

SMG is a tool used to generate state machine framework code from a terse set of directives embedded directly in the input source code file. This tool will also generate GraphViz graphical description and Spin/Promela modelling output.
SourceForge.net Logo