ACF 是 编写模型检查器。 ACF是建立在基本观察之上的,即大多数 模型检查算法独立于用于描述的形式主义 系统。
版本历史记录
- 版本 0.1 发布于 2000-03-21
若干修复和更新 - 版本 0.1 发布于 2000-03-21
软件信息
- 软件分类: 教育 > 其他
- 发布者: aiken.cs.abo.fi/acf
- 许可: 免费
- 价格: N/A
- 版本: 0.1
- 适用平台: linux
ACF 是 编写模型检查器。 ACF是建立在基本观察之上的,即大多数 模型检查算法独立于用于描述的形式主义 系统。