• LTL2BA

  • 引用98篇文章[sw10956]
  • LTL公司到比奇自动机翻译。我们提出了一种从……生成Büchi自动机的算法。。。线性时间逻辑(LTL公司)公式。该算法生成了一个非常弱的交替co-Büchi自动机。。。时间。像往常一样,我们简化了LTL公司配方奶粉。我们实现了这个算法。。。
  • 神圣的

  • 引用了55篇文章[sw04130]
  • 神圣是一种工具长期离散分布系统之模型检查与可达性分析。。。
  • 拍打

  • 引用32篇文章[sw13258]
  • 比如死锁无发散可达性,LTL公司具有公平性假设的属性,精化检查。。。
  • 爪哇凡

  • 引用了30篇文章[sw01934]
  • 高效执行、搜索和长期重写理论的模型检验。。。
  • APMC公司

  • 27条引用[sw11483]
  • 一个属性用一些正的LTL公司公式是满意的高置信度。。。
  • CAVA LTL模型检查器

  • 引用15篇文章[sw28830]
  • 腔静脉_LTL公司_Modelchecker:完全验证的可执行文件LTL公司模型检查器。我们提出LTL公司模型。。。
  • 斑点

  • 引用25篇文章[sw09473]
  • 很简单的翻译LTL公司(线性时序逻辑)进入TGBA。然后我们展示。。。
  • 玛丽亚

  • 引用18条[sw04127]
  • 详尽可达性分析和动态LTL公司高级Petri网模型检验。。。
  • 相思树+

  • 参考11篇文章[sw25260]
  • Acacia+是一种LTL公司可实现性和综合,基于符号反链技术。阿拉伯树胶。。。从扩展到合成LTL公司具有次要平均收益目标的规范。新的!相思树+含有。。。
  • 马文

  • 在10篇文章中引用[SW65079号]
  • 用线性时序逻辑构造的机器(LTL公司)假设的描述,描述。。。方面建议。的画面LTL公司假设用在一个独特的。。。
  • TLPVS公司

  • 在10篇文章中引用[sw10024]
  • tlpvs:基于pvs的ltl公司验证系统。在本文中,我们介绍了我们的pvs实现。。。在演绎中特别有用ltl公司系统。分布式排名规则。。。
  • MCGP公司

  • 在14篇文章中引用[sw00562]
  • 模型检验和遗传规划。给予LTL公司说明,遗传编程用于生成。。。
  • lbtt公司

  • 参考7篇文章【sw29442】
  • lbtt-安LTL公司-to-Büchi翻译测试台。lbtt是一个测试程序的工具。。。命题线性时态逻辑中的公式(LTL公司)进入布奇自动机。目标。。。协助正确实施长期-通过提供一个自动化的翻译算法。。。测试环境LTL公司-托布其翻译。此外,测试环境还可以用于。。。
  • 郁金香

  • 引用9篇文章[sw20173号文件]
  • 线性时序逻辑的表示子集(LTL公司)规范。郁金香结合了(1)有限状态的例程。。。控制系统,(2)数字设计综合LTL公司规范,和(3)滚动规划。。。
  • APNN工具箱

  • 参考11篇文章[sw06976号]
  • 树逻辑与线性时序逻辑(LTL公司)考虑更一般的属性。所有这些。。。
  • ChC 3

  • 参考11篇文章[sw09781]
  • 许多重要的正式验证任务,包括搜索,LTL公司模型检查和抽象的发展。。。
  • 格言

  • 引用9篇文章[sw09240]
  • 一些附加支撑,如确定性船体,LTL公司模型检查等。该工具附带。。。
  • LTLCon公司

  • 引用9篇文章[sw10955]
  • 用于控制线性系统的软件LTL公司线性谓词上的公式。。。
  • 海伦娜

  • 参考6篇文章[sw33425]
  • 规范纳入Promela并检查满意度LTL公司具有自旋的属性[11]。为了证明。。。Promela翻译满足同样的要求LTL公司公式(无next)。我们的正确性证明依赖于。。。
  • 萨尔

  • 引用8篇文章[sw13318]
  • 三款不同性能的跳棋LTL公司:符号、有界和无限有界。无限的。。。