沃特世 - 反应系统中事件的怀卡托分析工具。 该软件将允许用户在图形用户界面中创建有限状态计算机模型,模拟其执行,并将模型检查算法应用于它们。
版本历史记录
- 版本 N/A 发布于 2011-08-12
若干修复和更新 - 版本 N/A 发布于 2011-08-12
软件信息
- 软件分类: 发展 > 其他
- 发布者: waters.sf.net
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: windows
沃特世 - 反应系统中事件的怀卡托分析工具。 该软件将允许用户在图形用户界面中创建有限状态计算机模型,模拟其执行,并将模型检查算法应用于它们。