状態遷移表自動生成・作成ツール「REｘSTM for C（レックス エスティーエム フォー シー）」

　ソフトウェアの 品質向上、開発効率改善し、今まで検証したリバース手順をツールで効率的に実現しました。
　ソースコードから状態遷移表生成手順の多くを自動化し、状態変数の候補を自動抽出、選ぶだけです。

RExSTM for C