ウォーターズ - 反応システムにおける事象のためのワイカト分析ツール。 このソフトウェアは、ユーザーがグラフィカルユーザーインターフェースで有限状態のマシンモデルを作成し、実行をシミュレートし、それらにモデルチェックアルゴリズムを適用することを可能にします。
バージョン履歴
- バージョン N/A に転記 2011-08-12
いくつかの修正と更新 - バージョン N/A に転記 2011-08-12
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: waters.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows