Программы smc.sf.net

SMC берет государственную машину, хранящуюся в файле .sm, и генерирует шаблон состояния на 14 языках программирования. Включает в себя: переходы по умолчанию, переход args, переход охранников, push/ pop переходов и вход / вых