• LTL2BA

  • 94篇参考文献[SW10956]
  • 快的LTL对Buchi自动机的翻译。我们提出了一种从……生成Buchi chi自动机的算法。线性时间逻辑(线性时间逻辑)LTL)公式。该算法产生一个非常弱的交替Co B u chi自动机。时间像往常一样,我们简化了LTL任何治疗前的配方。我们实现了该算法…
  • 神圣的

  • 32篇参考文献[SW04130]
  • 神是一种工具LTL离散分布系统的模型检验与可达性分析
  • 拍打

  • 30篇参考文献[SW13258]
  • 如死锁自由度、发散自由度、可达性、LTL属性的公平性假设,细化检查…
  • APMC

  • 27篇参考文献[SW11483]
  • 表示某个性质的属性LTL公式满足高信噪比要求。
  • 斑点

  • 22篇参考文献[SW0943]
  • 非常简单(但有效)的翻译LTL(线性时态逻辑)进入TGBA。然后我们展示…
  • 玛丽亚

  • 18篇参考文献[SW04127]
  • 穷举可达性分析与飞行LTL高级Petri网模型检验…
  • 马文

  • 10篇参考文献[SW07699]
  • 用线性时态逻辑构造的机器LTL描述假设,描述…方面建议。画面LTL假设被用在一个独特的…
  • TLPVS

  • 10篇参考文献[SW10024]
  • 基于PVS的TLPVSLTL验证系统。在本文中,我们提出了我们的PVS实现…这在演绎中特别有用。LTL系统分布式排名规则…
  • MCGP

  • 14篇参考文献[SW0562]
  • 模型检验和遗传规划。给定一个LTL规范,遗传编程用于生成…
  • LBTT

  • 7篇参考文献[SW29 42]
  • LBTT-ANLTL至B-chi译员测试台。LBTT是一个测试程序的工具,…命题线性时态逻辑中的公式LTL进入Bi-chi自动机。目标…协助正确实施LTL通过提供自动的…测试环境LTL对B痴译员。此外,可以使用测试环境…
  • 相思+

  • 9篇参考文献[SW25260]
  • 相思+是一种工具LTL基于符号反链技术的可实现性和综合性。阿拉伯树胶。。。从合成扩展到LTL具有次要平均回报目标的规格。新!相思+含…
  • 郁金香

  • 8篇参考文献[SW2017]
  • 线性时态逻辑的表现子集(英文)LTL)规格。郁金香组合例程为(1)有限状态…控制系统,(2)数字设计合成LTL规范,以及(3)滚动规划…
  • APNN工具箱

  • 11篇参考文献[SW0696]
  • 树逻辑(CTL)与线性时序逻辑LTL考虑更一般的性质。所有这些…
  • CHC 3

  • 11篇参考文献[SW0988]
  • 许多重要的形式验证任务,包括搜索,LTL模型检查和抽象的发展…
  • 莫特拉斯

  • 8篇参考文献[SW09240]
  • 一些额外的支持,如确定性船体,LTL模型检查等工具来…
  • 萨尔

  • 8篇参考文献[SW13318]
  • 三种不同的高性能模型检查器LTL符号、有界和无限有界。无限…
  • 拉丁器

  • 7篇参考文献[SW21008]
  • 更小的确定性广义拉宾自动机LTL公式。它是自由和开源的…