WATERS

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 3.0/5 - ‎1 ‎投票

に関しては WATERS

ウォーターズ - 反応システムにおける事象のためのワイカト分析ツール。 このソフトウェアは、ユーザーがグラフィカルユーザーインターフェースで有限状態のマシンモデルを作成し、実行をシミュレートし、それらにモデルチェックアルゴリズムを適用することを可能にします。