プログラム waters.sf.net

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