LTL3 tools 0.0.7

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

可用于从 LTL 公式生成监视器的工具集合("看门狗") 。这从运行时验证区域知道。有关详细信息,请参阅关联的项目主页。

版本历史记录

  • 版本 0.0.7 发布于 2009-04-01
    若干修复和更新
  • 版本 0.0.7 发布于 2009-04-01

软件信息