The simplicity of its basic user interface easily enabled extensive tool support over the years, particularly in the areas of model checking, graphically oriented simulation, and software verification.
その基本的ユーザー・インタフェースの単純さが、長年広範囲な、特にモデルのチェックやグラフ指向シミュレーション、あるいはソフトウエア検証において、ツール支援を可能にした。