Analyzer Component Framework 0.1

许可: 免费 ‎文件大小: N/A
‎用户评分: 3.7/5 - ‎3 ‎评分

ACF 是 编写模型检查器。 ACF是建立在基本观察之上的,即大多数 模型检查算法独立于用于描述的形式主义 系统。

版本历史记录

  • 版本 0.1 发布于 2000-03-21
    若干修复和更新
  • 版本 0.1 发布于 2000-03-21

软件信息