状態遷移表→モデル検査への自動生成、富士ソフトが特許取得

やっべ、似たようなこと考えてた・・・


「モデル検査支援装置及びプログラム」の特許取得のお知らせ
〜安全な社会基盤を支える高信頼性ソフトウェア開発への取組み〜
http://www.fsi.co.jp/company/news/111221.html


論文、出てるのかなあ・・