• 斑点

  • 引用25篇文章[sw09473]
  • LTL的简单(高效)翻译(线性的 世俗的 逻辑)进入TGBA。然后我们展示。。。
  • 佩索阿

  • 引用19篇文章[sw20123]
  • 规范的片段线性的 世俗的 逻辑足以表达有趣的。。。
  • 罗佛根

  • 引用13篇文章[sw10954]
  • 模型,动力学性质用线性的 世俗的 逻辑并且指定了不确定参数。。。
  • APNN工具箱

  • 参考11篇文章[sw06976号]
  • 计算树逻辑(CTL)和线性的 世俗的 逻辑(LTL)考虑更一般的性质。。。
  • TTM公司

  • 在10篇文章中引用[sw11997]
  • 命题的定理证明器线性的 世俗的 逻辑叫做PLTL。TTM允许您测试。。。
  • STeLP公司

  • 在10篇文章中引用【sw09772】
  • 允许简单定义世俗的 逻辑程序,包括一个特殊的操作语法。。。标准ASP解算器线性的 世俗的 逻辑模型检查器,以便找到。。。
  • TRP公司++

  • 引用16条[sw14679]
  • 命题的定理证明器线性的时间世俗的 逻辑基于世俗的解析演算。。。
  • TLPVS公司

  • 在10篇文章中引用[sw10024]
  • 介绍我们的pvs实现线性的 世俗的 逻辑验证系统。系统包括。。。
  • 马文

  • 在10篇文章中引用[sw07659]
  • 使用线性的 世俗的 逻辑(LTL)假设描述,描述。。。
  • 郁金香

  • 引用9篇文章[sw20173]
  • 后退地平线软件工具箱世俗的 逻辑计划。这篇文章描述郁金香,一种基于蟒蛇的。。。关于线性的 世俗的 逻辑(LTL)规范。郁金香结合了常规。。。
  • 目标

  • 参考7篇文章[sw21229]
  • 定义和操作Büchi自动机和世俗的 逻辑公式。它还部分支持其他变体。。。它们与线性的 世俗的 逻辑学. 它也可以用来构造正确的。。。
  • lbtt公司

  • 参考7篇文章【sw29442】
  • 翻译命题中的公式线性的 世俗的 逻辑(LTL)转入Bü气自动机。目标。。。
  • 法帕斯

  • 引用4篇文章[sw10957]
  • 分析分段仿射系统线性的 世俗的 逻辑(LTL)规范。具体来说,考虑到。。。
  • LTLMoP公司

  • 引用2篇文章[sw23171]
  • 世俗的 逻辑以及机器人控制。这个线性的 世俗的 逻辑任务规划(LTLMoP)工具包。。。这个工具包,结构化英语和线性的 世俗的 逻辑用来写高级反应。。。
  • 临时雇员

  • 参考12篇文章[sw09989]
  • 古典一阶逻辑通过世俗的离散算子线性的时间模型(同构。。。使用时间模型)。这个公式逻辑在与…相关的结构上被解释。。。
  • Petri-PDL

  • 引用3篇文章[sw15081]
  • 在重写过程中给出了一个原型实现逻辑语言Maude,一个有界模型检查器。。。重写为线性的 世俗的 逻辑Maude系统中提供模型检查器。。。
  • 最大持续时间2

  • 引用5篇文章[sw12883]
  • 用概率表示的属性线性的-时间世俗的 逻辑带数值约束(PLTLc)。模型检查器。。。
  • LBT公司

  • 1条引用[sw29441]
  • 转换线性的 世俗的 逻辑推广B的公式ü气自动机。算法。。。自动验证线性的 世俗的 逻辑. PSTV'95,第十五届国际协议规范研讨会,测试。。。子流程。它解析一个线性的 世俗的 逻辑从标准输入并写出相应的泛化。。。
  • 可能的

  • 引用2篇文章[sw04134]
  • 概率系统线性的 世俗的 逻辑. 与以前的版本不同。。。