« 変動を扱う分析手法 | トップページ

2016年12月15日 (木)

有界モデル検査ツールのGUI2

作成中の有界モデル検査ツールのGUIで対応するオプションが増えました。

このツールはCUIなのでオプションの入力が面倒でしたが、また効率的に行えるようになりました。
 
まだ色々作り込む予定ですが、機能性&利便性が向上しました。

Cbmc2

Cbmc1



|

« 変動を扱う分析手法 | トップページ

「パソコン・インターネット」カテゴリの記事