开发者 waters.sf.net

沃特世 - 反应系统中事件的怀卡托分析工具。该软件将允许用户在图形用户界面中创建有限状态计算机模型，模拟其执行，并将模型检查算法应用于它们。