可用于从 LTL 公式生成监视器的工具集合("看门狗") 。这从运行时验证区域知道。有关详细信息,请参阅关联的项目主页。
版本历史记录
- 版本 0.0.7 发布于 2009-04-01
若干修复和更新 - 版本 0.0.7 发布于 2009-04-01
软件信息
- 软件分类: 教育 > 其他
- 发布者: ltl3tools.sf.net
- 许可: 免费
- 价格: N/A
- 版本: 0.0.7
- 适用平台: windows
可用于从 LTL 公式生成监视器的工具集合("看门狗") 。这从运行时验证区域知道。有关详细信息,请参阅关联的项目主页。