状態遷移表自動生成・作成ツール「RExSTM for C(レックス エスティーエム フォー シー)」

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

RExSTM for C