PROGRAMS BY smg.sf.net

Tool used to generate state machine framework code from a terse set ofdirectives embedded directly in the input source code file. This tool will also generate GraphViz graphical description and Spin/Promela modelling output