• LTL2BA

  • 参考文献99篇[sw10956]
  • LTL公司到自动机翻译. 我们提出了一种从……生成Büchi自动机的算法。。。
  • 斑点

  • 引用25篇文章[sw09473]
  • 说明了一个非常简单(但高效的)翻译属于LTL公司(线性时序逻辑)进入TGBA。。。
  • lbtt公司

  • 参考第7条【sw29442】
  • lbtt-安LTL公司-托比奇翻译试验台。lbtt程序是一个测试工具。。。正确实施LTL公司-托比奇翻译算法提供了一个自动化的测试环境。。。LTL公司-托比奇翻译人员. 此外,测试环境可以用于非常基本的评测。。。不同的LTL公司-托比奇翻译人员为了评估他们的表现。。。
  • 海伦娜

  • 参考6篇文章[sw33425]
  • 提议翻译海伦娜的规格进入Promela和检查满意LTL公司带旋转的属性。。。海伦娜规范及其约定翻译同样满足LTL公司公式(无next)。我们的正确性。。。
  • ltl2dstar公司

  • 引用4篇文章[sw21007]
  • ltl2dstar(“LTL公司是一个转换公式的程序。。。实施Safra的施工翻译非确定性Büchi自动机(NBA)到确定性拉宾自动机。。。练习。它使用外部LTL公司-托比奇翻译人员从…的转换。。。
  • 条纹

  • 引用3篇文章[sw33422]
  • 反应性LTL公司合成翻译属于LTL公司确定性奇偶自动机的公式。。。
  • ltl3tela公司

  • 1条引用[sw37532]
  • 用作中间产物翻译属于LTL公司确定的或不确定的自动机。这个。。。基于艾默生雷的接受和介绍翻译属于LTL公司再回到这些自动装置上。重要的是。。。翻译属于LTL公司一般接受SLAA产生的自动机比以前小得多翻译...LTL公司去布奇或是布奇斯拉亚。我们的翻译已经在工具中实现。。。
  • Z2sal公司

  • 参考6篇文章[sw07087]
  • 哪些编程和规范语言可以是翻译. 输入语言提供了一个范围。。。模型跳棋,包括LTL公司还有CTL。这个翻译scheme保留了Z样式。。。
  • LTL交叉

  • 1条引用[sw29439]
  • 交叉比较的输出LTL公司-自动装置翻译人员. 它实际上是一个基于点的。。。LBTT的克隆LTL公司-托比奇翻译家测试台,基本上执行相同的健全。。。
  • 玛丽亚

  • 引用19篇文章[sw04127]
  • 详尽可达性分析和动态LTL公司高级Petri网模型检验。。。层次Petri网和标记转移系统。翻译家Maria系统分析程序允许过渡。。。
  • 长期至长期

  • 1条引用[sw28829]
  • 直接提出了一种新的方法翻译线性时序逻辑(LTL公司)确定性(广义)拉宾公式。。。完整的正式化和验证翻译. 此外,在此基础上生成可执行代码。。。
  • 康帕斯

  • 1条引用[sw10953号]
  • 扩展conPAS2可以处理任意LTL公司公式到a翻译到确定性拉宾自动机。当。。。
  • kPWorkbench公司

  • 引用3篇文章[sw19654]
  • 框架集成了一组工具和翻译人员这座桥使用了几个目标规格。。。框架同时支持线性时态逻辑(LTL公司)以及计算树逻辑(CTL)的性质。。。
  • LBT公司

  • 1条引用[sw29441]
  • LTL公司到比奇的转变。这个软件为一个算法提供了一个C++实现。。。模型(例如Petri网)。这个翻译设计为作为子进程调用。。。
  • 超小卫星

  • 引用558篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 科菲

  • 引用42篇文章[sw01631]
  • CoFI:代数规范的公共框架倡议。。。
  • 木桶

  • 在174篇文章中引用[sw02235]
  • CoFI开发的规范语言叫做。。。